Manuel:$wgExternalDiffEngine
Gestionnaires de contenu et sauvegarde: $wgExternalDiffEngine | |
---|---|
Nom du moteur diff externe à utiliser. |
|
Introduit dans la version : | 1.6.0 (r12987) |
Retiré dans la version : | Encore utilisé |
Valeurs autorisées : | (chaîne) ou false |
Valeur par défaut : | false |
Autres paramètres : Alphabétique | Par Fonction |
Détails
Nom du moteur diff externe à utiliser, ou faux pour utiliser le moteur interne.
Les valeurs possibles sont:
false
- wikidiff2 si disponible, implémentation PHP sinon.'wikidiff2'
- Moteur de différence rapide de Wikimedia implémenté en tant que module PHP/HHVM.'wikidiff'
et'wikidiff3'
- traités commefalse
pour la rétrocompatibilité.- toute autre chaîne est traitée comme un chemin vers un exécutable de diff externe.
Ce paramètre remplace $wgUseExternalDiffEngine .