Manual:$wgExternalDiffEngine/pl
Content handlers and storage: $wgExternalDiffEngine | |
---|---|
Name of the external diff engine to use. |
|
Wprowadzono w wersji: | 1.6.0 (r12987) |
Usunięto w wersji: | nadal w użyciu |
Dozwolone wartości: | (string) or false |
Domyślna wartość: | false |
Inne ustawienia: Alfabetycznie | Według funkcji |
Szczegóły
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'
oraz'wikidiff3'
- treated as false for backwards compatibility.
- any other string is treated as a path to external diff executable.
This setting replaces $wgUseExternalDiffEngine .