Menu d'options
J'ai codé le menu d'options. Il est actif sur beta.
Je n'ai pas intégré la taille de la zone d'édition (pas d'icones), ni les fonctions encore indisponibles (je m'occuperai un peu plus tard d'ajouter l'imprimante). Les fonctions d'affichage sont prêtes et le cas échéant ce sera facile à rajouter.
Je ne l'ai testé que sur Firefox, à vérifier donc que ça marche bien sous IE (en théorie, ça devrait). Au niveau accessibilité, peut-être devrais-tu demander à Dodoïste ce qu'il en pense, moi je suis assez ignorant sur ce point.
A plus.
Tout autre chose : j'ai transféré le Bot pour les pages à illustrer sur fr.
J'ai fait en sorte qu'il ne soit disponible que pour les wikitechniciens, et seulement dans la page Wikimini:Pages à illustrer. J'ai également créé une page d'aide : MediaWiki:Bot/PagesSansImage.
Si d'autres que des Wikitechniciens veulent l'utiliser, c'est possible en ajoutant dans leur page wikimini.js :
importScript('MediaWiki:Bot/PagesSansImage.js');
C'est sans risque vu que le script est entièrement automatique. En fait, même les enfants pourraient l'utiliser... si ils ont la patience d'attendre la fin de l'analyse.
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
