Manual:$wgDiff/ru

Category:MediaWiki configuration settings/ru#DiffCategory:MediaWiki configuration settings introduced in version 1.13.0/ru#DiffCategory:MediaWiki configuration settings still in use/ru#DiffCategory:Edit user interface variables/ru#Diff
Edit user interface: $wgDiff
Путь для инструмента GNU diff.
Введено в версии:1.13.0
Удалено в версии:всё ещё используется
Допустимые значения:(строка)
Значение по умолчанию:'/usr/bin/diff'
Другие настройки: По алфавиту | По функциональности

Подробнее

Путь для инструмента GNU diff.

См. также

Category:History and diffs/ru
Category:Edit user interface variables/ru Category:History and diffs/ru Category:MediaWiki configuration settings/ru Category:MediaWiki configuration settings introduced in version 1.13.0/ru Category:MediaWiki configuration settings still in use/ru