ФЭНДОМ


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

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

Описание Править

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

См. также Править