Code ?
Rah,
j'ai transféré les styles directement sur MediaWiki:Wikimini.css, puis carrément sur MediaWiki:Common.css, mais ça ne veut pas les prendre.
Ayé, les styles sont revenus
Mais du coup ils sont toujours ajoutés via javascript (dans MediaWiki:MenuOptions.js) grâce la fonction standard importStylesheet() et non plus écrits directement avec document.write()
J'espère que le problème du code retrouvé dans le corps de la page sera quand même résolu.
Si ce n'est pas le cas, faites-moi signe (de préférence sur Wikipédia, où je suis présent tous les jours).
Au fait, personne n'utilise le robot de mise à jour de Wikimini:Pages à illustrer ?
Peut-être devrait-on étendre la possibilité de l'utiliser aux utilisateurs enregistés (non-wikitechniciens) ?
Pour la page des articles à illustrer, il n'est pas forcément nécessaire qu'elle soit tout le temps à jour. L'idée étant simplement de pouvoir suggérer quelques tâches à effectuer pour les adultes de passage et connaissant peu les activités de maintenance des wikis (voir le coin des adultes).
Pour le moment, il y a déjà bien assez d'articles à illustrer. Donc si on lance le bot une fois par mois, cela me semble suffisant. Je ne pense donc pas qu'il soit utile de donner accès au robot pour tous les utilisateurs. Cela risquerait même de charger inutilement le serveur en cas d'abus.
Le problème semble résolu, comme l'a indiqué Nicolas (voir ici).