Podręcznik:$wgDiff
Appearance
Edit user interface: $wgDiff | |
---|---|
Ścieżka do narzędzia GNU diff. |
|
Wprowadzono w wersji: | 1.13.0 |
Usunięto w wersji: | nadal w użyciu |
Dozwolone wartości: | (ścieżka bezwzględna) |
Domyślna wartość: | '/usr/bin/diff' |
Inne ustawienia: Alfabetycznie | Według funkcji |
Szczegóły
Ścieżka do narzędzia GNU diff.