MediaWiki:JSScripts/NavigAdmin

if(document.cookie.indexOf('navigadmin=1') == -1) return;

alert('Le script NavigAdmin a été transformé en gadget (voir Aide:Gadgets).\nPour le réactiver, allez dans vos préférences dans l\'onglet Gadgets, puis ce script est dans la catégorie \"Outils pour administrateurs\", puis retirez le code \"obtenir(\'NavigAdmin\'); de votre monobook.');

document.cookie = 'navigadmin=1; path=/; expires=Thu, 2 Aug 2009 00:00:00 UTC';