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