Handbuch:$wgExternalDiffEngine

From mediawiki.org
This page is a translated version of the page Manual:$wgExternalDiffEngine and the translation is 50% complete.
Inhalts-Handler und Speicher: $wgExternalDiffEngine
Name of the external diff engine to use.
Eingeführt in Version:1.6.0 (r12987)
Entfernt in Version:weiterhin vorhanden
Erlaubte Werte:(Zeichenkette) oder false
Standardwert:false

Details

Name of the external diff engine to use, or false to use the internal engine.

Die möglichen Werte sind:

  • false - wikidiff2 if available, PHP implementation else.
  • 'wikidiff2' - Wikimedia's fast difference engine implemented as a PHP/HHVM module.
  • 'wikidiff' und 'wikidiff3' - treated as false for backwards compatibility.
  • any other string is treated as a path to external diff executable.

Diese Einstellung ersetzt $wgUseExternalDiffEngine .

Siehe auch