Manual:$wgDiffEngine/fr

Détails
Spécifiez le moteur de différence à utiliser.

Supported values:
 * 'external' - Use an external diff engine, which must be specified via
 * 'wikidiff2' - Use the wikidiff2 PHP extension
 * 'php' - PHP implementations included in MediaWiki

The default is to use the first engine that's available.