Podręcznik:$wgDiff3
Edit user interface: $wgDiff3 | |
---|---|
Ścieżka do narzędzia GNU diff3. |
|
Wprowadzono w wersji: | 1.3.0 |
Usunięto w wersji: | nadal w użyciu |
Dozwolone wartości: | (ścieżka bezwzględna) |
Domyślna wartość: | '/usr/bin/diff3' |
Inne ustawienia: Alfabetycznie | Według funkcji |
Szczegóły
Ścieżka do narzędzia GNU diff3. Jeżeli plik nie istnieje, konflikty edycji będą rozwiązywane starym sposobem (bez łączenia).