Manual:$wgDiffEngine

From mediawiki.org
Jump to navigation Jump to search
Other languages:
English • ‎français • ‎polski • ‎العربية • ‎日本語
Miscellaneous settings: $wgDiffEngine
Specify the difference engine to use.
Introduced in version:1.34.0 (r549088)(git #f3058c81)
Removed in version:still in use
Allowed values:string or null
Default value:null

Details[edit]

Specify the difference engine to use.

Supported values:

  • 'external' - Use an external diff engine, which must be specified via $wgExternalDiffEngine
  • 'wikidiff2' - Use the wikidiff2 PHP extension
  • 'php' - PHP implementations included in MediaWiki

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