Utilisateur:Jereemy/wikimini.js

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__ ////////////////////////////////////////////////////////// Alerte de nouveaux messages //// DEBUT if(wgCanonicalSpecialPageName != "NewMessages" && wgUserGroups!=null) addOnloadHook(function (){ var Adresse = wgServer + wgArticlePath.split('$1').join("Special:NewMessages"); var Requete = sajax_init_object(); Requete.open("GET", Adresse, true); Requete.onreadystatechange = function() { if( Requete.readyState != 4 ) return; var ElementTraitement = document.createElement('div'); ElementTraitement.style.display = "none"; document.body.appendChild(ElementTraitement); ElementTraitement.innerHTML = Requete.responseText; var GotNewMessages = 0; var Forms = ElementTraitement.getElementsByTagName('form'); for(var a=0;a