Manual:$wgDiffEngine/ja

詳細
使用したい差分エンジンを指定する.

対応している値:
 * '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.