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.