Manual:$wgDiff3/ru
| Edit user interface: $wgDiff3 | |
|---|---|
| Path to the GNU diff3 utility. |
|
| Введено в версии: | 1.3.0 |
| Удалено в версии: | всё ещё используется |
| Допустимые значения: | (absolute path) |
| Значение по умолчанию: | '/usr/bin/diff3' |
| Другие настройки: По алфавиту | По функциональности | |
Details
Path to the GNU diff3 utility. If the file doesn't exist, edit conflicts will fall back to the old behavior (no merging).