62 737
modifications
« MediaWiki:Gadget-CatRename.js » : différence entre les versions
MediaWiki:Gadget-CatRename.js (voir la source)
Version du 10 novembre 2021 à 22:51
, 10 novembre 2021Page créée avec « →* CatRename * * Ajoute un onglet permettant de renommer une catégorie, en déplaçant les pages * incluses dans celle-ci. Permet de faire faire l'action à un bot en un clic. * * Fonction copiée depuis Wikipédia : https://fr.wikipedia.org/wiki/MediaWiki:Gadget-CatRename.js : →<nowiki> : →globals mw, OO, $ : if ( mw.config.get( 'wgNamespaceNumber' ) === 14 ) { mw.loader.using( 'mediawiki.util', function () { 'use strict'; // Site-related parameter... »
Page créée avec « →* CatRename * * Ajoute un onglet permettant de renommer une catégorie, en déplaçant les pages * incluses dans celle-ci. Permet de faire faire l'action à un bot en un clic. * * Fonction copiée depuis Wikipédia : https://fr.wikipedia.org/wiki/MediaWiki:Gadget-CatRename.js : →<nowiki> : →globals mw, OO, $ : if ( mw.config.get( 'wgNamespaceNumber' ) === 14 ) { mw.loader.using( 'mediawiki.util', function () { 'use strict'; // Site-related parameter... » |
(Aucune différence)
|