Manuel:$wgDiffEngine
Gestionnaires de contenu et sauvegarde: $wgDiffEngine | |
---|---|
Spécifiez le moteur de différence à utiliser. |
|
Introduit dans la version : | 1.34.0 (Gerrit change 548763; git #f3058c81) |
Retiré dans la version : | Encore utilisé |
Valeurs autorisées : | string or null |
Valeur par défaut : | null |
Autres paramètres : Alphabétique | Par fonction |
Détails
Spécifiez le moteur de différence à utiliser.
Valeurs prises en charge:
- 'external' - Use an external diff engine, which must be specified via $wgExternalDiffEngine
- 'wikidiff2' - Utilisez l’extension wikidiff2 PHP
- 'php' - Implémentations PHP incluses dans MediaWiki
La valeur par défaut (null
) est d’utiliser le premier moteur disponible.