Demande #327
closed
Ajout d'une extension (rechercher/remplacer) au wiki
Added by Anonymous over 13 years ago.
Updated about 12 years ago.
Description
Courriel envoyé le 20/12/2010 sur la liste admin.
##########
Avec Lionel, nous pensons qu'il serait utile d'avoir un moyen simple
et efficace pour faire du rechercher/remplacer dans le wiki (textes et
titres). Il se trouve qu'une extension mediawiki fait ça [1]. La
fonctionnalité n'est disponible qu'aux admins du wiki... bien sûr.
Est-ce qu'il est possible d'installer ça ?
Merci d'avance.
[1] http://www.mediawiki.org/wiki/Extension:Replace_Text
##########
PS : j'ai mis Theo en personne assignée, ne pas hésiter à modifier si je vise mal :)
- Status changed from Nouveau to En cours de traitement
C'est très bien visé.
J'ai installé l'extension, mais quand on essaye de l'utiliser ça génère une erreur php.
cf : https://wiki.april.org/w/Special:ReplaceText
Je tente de regarder ça plus tard.
En attendant, je laisse l'extension installée vu que ça ne semble pas gêner le fonctionnement du wiki.
Je relance ce sujet. Deux tâches #789 et #871 dépendent de celle-ci. Est-ce qu'on peut planifier la résolution de cette tâche ?
Merci ;)
le paquet debian mediawiki-semediawiki possède un nombre très important de dépendances… pour simplement installer ReplaceText ce n'est pas justifié.
J'ai donc installé la dernière version de ReplaceText sur le wiki et l'ai activé ; cela-semble fonctionner.
- % Done changed from 0 to 80
- Status changed from En cours de traitement to Résolu
- % Done changed from 80 to 100
Comme l'installation s'est faite manuellement, les mises à jour du module devront l'être de même, sauf si dans le future on installe le paquet debian cité ci-dessus.
Also available in: Atom
PDF