Menu d'options
Salut.
Dodoïste a finalement rendu son verdict (voir sa PU), et apparemment, c'est bon.
J'ai donc transféré le code dans une nouvelle page MediaWiki:MenuOptions.js et ajouté un appel dans MediaWiki:Wikimini.js (qui est pour l'instant commenté, donc c'est normal si le menu ne s'affiche pas).
J'en ai également profité pour faire le tri entre ce qui doit être sur MediaWiki:Wikimini.js et MediaWiki:Common.js :
- Sur Common : les fonctions "générales", réutilisables par d'autres fonctions
- Sur Wikimini : les fonctions "spécifiques" ou appels d'autres fonctions/pages si les fonctions sont trop longues (il faut que la page reste lisible).
J'ai donc transféré sur Wikimini le patch relatif à l'extension WhosOnline et le code pour le double post (commenté pour l'instant). A ce propos, il serait peut-être temps à présent de virer celui qui est dans Wikimini.php et de décommenter celui-là, qui a priori devrait fonctionner normalement.
Donc pour résumer, si tu souhaites installer le menu, il te suffit de décommenter l'appel dans MediaWiki:Wikimini.js, et pareil pour le double-post.
A plus, et si tu as des questions ou un problèmes, tu sais où me trouver...
Je viens de décommenter les deux scripts "options ergonomiques" et "anti double-post"^. J'ai également supprimé le bout de code neutralisant que j'avais ajouté dans wikimini.php. Visiblement, tout roule ! Je vais encore essayer de tester le site sur différentes machines ces prochains jours et te tiens de toute façon au courant. Encore une fois, un tout grand merci pour ton aide ! ![[-sMiLeY-]](/wiki/Fichier:Smiley-thumbs_up.gif){kind=small}
Ce que tu peux faire
Outils 
Outils personnels
