Manual:$wgExternalDiffEngine/de-formal
| Content handlers and storage: $wgExternalDiffEngine | |
|---|---|
| Name of the external diff engine to use. |
|
| Eingeführt in Version: | 1.6.0 (r12987) |
| Entfernt in Version: | weiterhin vorhanden |
| Erlaubte Werte: | (string) or false |
| Standardwert: | false |
| Andere Einstellungen: Alphabetisch | Nach Funktion | |
Details
Name of the external diff engine to use, or false to use the internal engine.
The possible values are:
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.
This setting replaces $wgUseExternalDiffEngine.