Jump to content

Handbuch:$wgDiffEngine

From mediawiki.org
This page is a translated version of the page Manual:$wgDiffEngine and the translation is 22% complete.
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

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.