Inscris-toi pour écrire dans l'encyclopédie Wikimini!

MediaWiki:Gadgets-Definitions.js

Aller à : navigation, rechercher

Note : après avoir enregistré tes préférences, tu devras forcer son rechargement complet en ignorant le contenu actuel du cache de ton explorateur pour voir les changements : Mozilla / Firefox / Konqueror / Safari : maintiens la touche Majuscule (Shift) en cliquant le bouton Actualiser (Reload,) ou presse Maj-Ctrl-R (Maj-Cmd-R sur Apple Mac) ; Internet Explorer / Opera : maintiens la touche Ctrl en cliquant le bouton Actualiser ou presse Ctrl-F5.

//__NORICHEDITOR__
function Gadgets_GetUserScripts(){
// ******************************************************************************** DEBUT CONFIGURATION

 /************************************************************************************************************
 * Gadgets_ScriptType : 1 => script ; 2 à 6 => titre de section                                              *
 * Gadgets_ScriptText : type 1 => description du script ; autre type => texte du titre                       *
 * Gadgets_ScriptPage : type 1 => Page à importer ; autre type => inutilisé                                  *
 * Gadgets_ScriptId : type 1 => ID du script (titre de la sous-page sans le ".js") ; autre type => inutilisé *
 ************************************************************************************************************/

// ******************************************************************************** TOUS 

     Gadgets_ScriptType.push(3);
     Gadgets_ScriptText.push("Gadgets pour tous les utilisateurs");
     Gadgets_ScriptId.push('');
     Gadgets_ScriptPage.push('');



if(wgUserGroups.indexOf("sysop")!=-1){ // ****************************************** SYSOPS

     Gadgets_ScriptType.push(3);
     Gadgets_ScriptText.push("Gadgets pour Wikitechniciens");
     Gadgets_ScriptId.push('');
     Gadgets_ScriptPage.push('');

     Gadgets_ScriptType.push(1);
     Gadgets_ScriptText.push('Bot de mise à jour de '+ Gadgets_MakeLink("Wikimini:Pages à illustrer"));
     Gadgets_ScriptId.push('PagesSansImage');
     Gadgets_ScriptPage.push('MediaWiki:Bot/PagesSansImage.js');




// ******************************************************************************** FIN CONFIGURATION
     }
}
Wikiboo Outils personnels