Podręcznik:$wgDiff3
From mediawiki.org
This page is a translated version of the page Manual:$wgDiff3 and the translation is 100% complete.
Languages:
| 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).