Différences entre les versions de « MediaWiki:Common.js »

Version actuelle datée du 17 juin 2021 à 09:31

/* Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. */

@@ Ligne 1 : / Ligne 1 : @@
 /* Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. */
-if (mw.config.get('wgNamespaceNumber')==6 && mw.config.get('wgAction')=='view') {
-	mw.loader.load('//imagemapedit.toolforge.org/ime.js');
-}