$wgDiff
Материал из Викиреальностя
| Пути: $wgDiff | |
|---|---|
| Путь для инструмента GNU diff. | |
| Появилось, начиная с версии: | 1.13.0 |
| Удалено в версии: | ещё используется |
| Допустимые значения: | строка |
| Значение по умолчанию: | '/usr/bin/diff' |
Другие настройки: По алфавиту | По функциональности
[править] Описание
$wgDiff — путь для инструмента GNU diff.