ФЭНДОМ


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

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

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

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

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

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Также на ФЭНДОМЕ

Случайная вики