Handbuch:$wgExternalDiffEngine
| 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 |
| Andere Einstellungen: Alphabetisch | Nach Funktion | |
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.