Manual:$wgDiffEngine
From Linux Web Expert
<translate> Content handlers and storage</translate>: $wgDiffEngine | |
---|---|
Specify the difference engine to use. |
|
<translate> Introduced in version:</translate> | 1.34.0 (Gerrit change 548763; git #f3058c81) |
<translate> Removed in version:</translate> | <translate> still in use</translate> |
<translate> Allowed values:</translate> | string or null |
<translate> Default value:</translate> | null |
<translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> |
Details
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.