Manual:$wgDiff3
Appearance
| Edit user interface: $wgDiff3 | |
|---|---|
| Путь для инструмента GNU diff3. |
|
| Введено в версии: | 1.3.0 |
| Удалено в версии: | всё ещё используется |
| Допустимые значения: | (абсолютный путь) |
| Значение по умолчанию: | '/usr/bin/diff3' |
| Другие настройки: По алфавиту | По функциональности | |
Подробнее
Путь для инструмента GNU diff3. Если файл не существует, конфликты редактирования будут возвращаться к старому поведению (слияние не будет происходить).