$wgDiff

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

Другие настройки: По алфавиту | По функциональности

[править] Описание

$wgDiff — путь для инструмента GNU diff.

[править] Материалы по теме