Handbuch:$wgDiffEngine
Appearance
Inhalts-Handler und Speicher: $wgDiffEngine | |
---|---|
Specify the difference engine to use. |
|
Eingeführt in Version: | 1.34.0 (Gerrit change 548763; git #f3058c81) |
Entfernt in Version: | Weiterhin vorhanden |
Erlaubte Werte: | string or null |
Standardwert: | null |
Andere Einstellungen: Alphabetisch | Nach Funktion |
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.