« MediaWiki:Gadget-ExtraTabs » : différence entre les versions

Dernière version du 7 février 2023 à 03:38

ExtraTabs Gadget ajoutant des onglets

Version du 7 février 2023 à 03:37 voir la source Adadov (discussion \| contributions) Bureaucrates, Administrateurs d’interface, Administrateurs 3 295 modifications Aucun résumé des modifications ← Modification précédente		Dernière version du 7 février 2023 à 03:38 voir la source Adadov (discussion \| contributions) Bureaucrates, Administrateurs d’interface, Administrateurs 3 295 modifications Aucun résumé des modifications
Ligne 1 :		Ligne 1 :
	~~{{gadget-desc\|self=MediaWiki:~~ExtraTabs~~\|name=ExtraTabs\|~~Gadget ajoutant des onglets}}		''ExtraTabs Gadget'' ajoutant des onglets