Historique du fil

Bon, afin que personne ne perde de temps pour rien, je voulais dire que ce problème de tranformation en code html dans les pages de discussion n'est très grave. En plus, l'extension subit pas mal de changements et je dervrai bientôt la mettre à jour.

Par contre, il y a un truc qui devrait pouvoir se résoudre avec du Javascript. Il y a très souvent des doublons (messages postés plusieurs fois) dans les pages de discussion. Visiblement, il s'agit de wikiminautes un peu trop impatients qui cliquent plusieurs fois sur le bouton publier. Or, il n'y a aucun systêm qui empêche la multiplication des messages. Serait-ce possible (et facilement réalisable) de "freezer" le bouton « publier » une fois appuyé?

J'ai commencé à travailler sur le bot. Pour ce faire, j'expérimente les requêtes via l'API, plus rapides que les requêtes ajax "normales" passant par index.php. Je te tiens au courant dès que ça fonctionne.

Si tu tiens vraiment à ajouter les icône sur la page d'index, il faudra se passer des inclusions de Spécial:Index et faire la liste "en dur" (mise à jour par le bot que je développe). Je ne pense pas m'y connaître assez en PHP pour intégrer ça à mediaWiki.

D'ailleurs à ce propos je me suis créé Utilisateur:Dr Bot pour tester le script (et pour voir ton problème de whosOnline, c'est pourquoi j'ai laissé la page vide). Je n'ai pour l'instant pas besoin du statut de bot, je ferai mes tests sur beta où le statut d'admin me donne le droit <tt>apihighlimit</tt> dont j'ai besoin.

Concernant les préférences, sur fr j'ai annulé la redirection automatique vers monobook. Il est en effet préférable de garder l'interface aussi proche que possible de ce que voient les enfants. Par contre, ce serait bien de remettre les préférences "normales" sur beta, et ainsi pourvoir basculer sans soucis entre les différents skins.

Pour le bandeau, je l'ai déjà fait dans mon .js perso : j'ai rétabli le skin wikimini mais j'y ai apporté quelques changements, dont le masquage de ce flash qui est effectivement énorme (par contre, je ne me suis pas préoccupé de mettre un lien masque/afficher, mais ça ce sera vite fait). Je suggère aussi un cookie pour garder en mémoire cette option et ne pas avoir à le masquer à chaque changement de page. Ca devrait être rapide à coder et tu devrais pouvoir mettre ça en place dans quelques jours (voire même peut-être demain)

Pour le double-post, ce n'est pas normal. Logiquement ça devrait conduire à un conflit de modif (mais je suppose que LiquidThread change la donne puisqu'en fait, si j'ai bien compris, il crée une nouvelle page pour chaque message). Bref, oui c'est possible de désactiver le bouton au premier clic. Je vais voir ce que je peux faire.

En parlant de LiquidThread, n'y a-t-il pas une option pour que les fils de discussion soient automatiquement ajoutés à la liste de suivi ?

Je dois dire que tu es un peu comme... tombé du ciel !

Je ne vais pas avoir le temps de le faire ce soir, mais demain soir, je vais réactiver tous les onglets dans les préférences sur la version bêta. J'en profiterai aussi pour y modifier certains liens du menu de droite qui pointent actuellement vers fr.wikimini.org

Si tu as besoin d'autre chose, fais-le moi savoir!

Ah, et à propos de la liste de suivi et liquidthreads. THEORIQUEMENT, on devrait pouvoir être averti lorsqu'on reçoit un nouveau message dans sa page de discussion ET lorsque quelqu'un répond à l'un de ses messages dans une autre page de discussion. En principe, la première notification (message laissé dans sa page de discussion perso) fonctionne : un bandeau s'affiche en haut du site. Mais je crois savoir qu'il y a parfois des problèmes. Par contre, pour ce qui est de la seconde notification (message laissé dans une autre page de discussion), cela ne fonctionne pas. Cela n'a d'ailleurs jamais fonctionné. Mais l'extension est toujours restée en version beta. Elle a connu pas mal de changements (très prometteurs) depuis, mais je n'ai pas encoure souhaité la mettre à jour, ayant eu vent de nombreux problèmes encore irrésolus sur la nouvelle version. Pour l'instant, c'est gérable, puisque l'activité du site est encore relativement limitée. On s'y retrouve donc. Mais j'espère que l'extension aboutira un jour à une version stable qui fonctionne correctement.

Pour le whosOnline, j'ai trouvé la solution.

Mais pour me faciliter la vie, il faudrait modifier la toute dernière ligne du fichier WhosOnlineSpecialPage.php afin d'ajouter un identificateur à l'élément UL qui contient la liste des utilisateurs présents. Tu peux choisir un autre identificateur si celui que j'ai choisi ne te convient pas.

AVANT

$wgOut->addHTML('<ul>'.$body.'</ul>');

APRES

$wgOut->addHTML('<ul id="WhosOnlineList">'.$body.'</ul>');

OK c'est fait!

Bon je vais devoir quitter... en tout cas m'absenter pendant un moment.

Le script pour afficher/masquer l'en-tête est au point (voir MediaWiki:Wikimini.js ).

J'avais pensé qu'on pourrait remplacer celle-ci par une liste de liens moins importante en hauteur qui serait cachée lorsque l'entête est affichée (un coup le flash, un coup la petite liste). Si ça te dis, dis-moi quels liens tu souhaites avoir et je te mets ça en place.

Pour le WhosOnline, l'id que tu as rajouté m'a beaucoup aidé. J'ai encore à régler un problème de requête mais ça devrait aller.

Je vais essayer de voir ce que je peux faire pour le bouton publier, ça me semble plus important que le WhosOnline.

Bon ben pour le double-post c'était plus simple que prévu. Voilà donc la petite fonction qu'il faut rajouter.

Elle a pour effet de masquer toute la zone d'édition lors du premier clic. Je pense que c'est suffisamment rapide pour empêcher tout double-clic.

// ============================================================================
///////////////////////////////// Évite le double-post pour les acharnés du clic
addOnloadHook( function(){
    var wpSave = document.getElementById('wpSave');
    if(wpSave){
        wpSave.onclick = function(){
            document.getElementById('editform').style.display = "none";
        }
    }
});///////////////////////////////
// ============================================================================

J'ai vu le script qui masque l'animation flash. C'est vraiment super. Pour les liens, les voici :

<a href="http://fr.wikimini.org/wiki/Accueil">Accueil</a>

<a href="http://fr.wikimini.org/wiki/Wikimini:Enfants">Enfants</a>

<a href="http://fr.wikimini.org/wiki/Wikimini:Adultes">Adultes</a>

<a href="http://fr.wikimini.org/wiki/Wikimini:Enseignants">Enseignants</a>

<a href="http://fr.wikimini.org/wiki/Aide:Accueil">Aide</a>