Manual:$wgDiffEngine/de-formal

Details
Specify the difference engine to use.

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.