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