MediaWiki:Gadget-RenommageCategorie

Renommage des categories : ajouter un onglet « renommer » en haut d’une page de catégorie (n'est utile que pour les admins).