Basculer le menu
Basculer le menu personnel
Non connecté(e)
Votre adresse IP sera visible au public si vous faites des modifications.

MediaWiki:Gadgets-definition

Page de l’interface de MediaWiki
Autres langues
Révision datée du 24 juin 2023 à 14:01 par Forte (discussion | contributions) (Updated gadgets definition)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

browsing

  • ReferenceTooltips[ResourceLoader|default|type=general|dependencies=mediawiki.cookie,jquery.client]|ReferenceTooltips.js|ReferenceTooltips.css

editing

  • RefreshTab[ResourceLoader|dependencies=mediawiki.util,mediawiki.api|default]|RefreshTab.js

appearance

other

  • gadgetLinks[ResourceLoader|type=general|default]|gadgetLinks.js
  • recentChanges[ResourceLoader|dependencies=mediawiki.util,mediawiki.api|default]|recentChanges.js|recentChanges.css