On 18 mars 2016 09:10, Patrice Karatchentzeff <patrice.karatchentzeff@???> wrote:
> Salut
Salut,
> je cherche un tuto claire pour changer l'éditeur (pourri) de mediawiki
> par celui de ckeditor...
>
> Est-ce que quelqu'un a déjà fait ?
Chez Debian il y a deux scripts qui font ça : mwenext pour activer et
mwdisext déactiver une extension.
Le but des scripts étant de gérer des liens symbolique dans
/etc/mediawiki-extensions/extensions-available et
/etc/mediawiki-extensions/extensions-enabled
Autrement :
https://www.mediawiki.org/wiki/Manual:Extensions/fr
Christian