Demande #327
fermé
Ajout d'une extension (rechercher/remplacer) au wiki
Ajouté par Anonyme il y a plus de 13 ans.
Mis à jour il y a presque 12 ans.
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 :)
- Statut changé de Nouveau à 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.
- % réalisé changé de 0 à 80
- Statut changé de En cours de traitement à Résolu
- % réalisé changé de 80 à 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.
Formats disponibles : Atom
PDF