MediaWiki:Gadgets-definition
De wikimerdja
Révision datée du 13 novembre 2019 à 15:22 par
Analectes2rien
(
discussion
|
contributions
)
(
diff
)
← Version précédente
|
Voir la version actuelle
(
diff
) |
Version suivante →
(
diff
)
Sauter à la navigation
Sauter à la recherche
Gadgets
Navigation_popups[ResourceLoader|type=general]|popups.js|navpop.css
Popups [ResourceLoader] | Popups.js
Menu de navigation
Outils personnels
Se connecter
Espaces de noms
Message
Discussion
Variantes
Affichages
Lire
Voir le texte source
Voir l’historique
Plus
Rechercher
Navigation
Accueil
Page au hasard
Outils
Pages liées
Suivi des pages liées
Pages spéciales
Version imprimable
Lien permanent
Information sur la page