Jump to content

Manual:$wgDiff

From mediawiki.org
This page is a translated version of the page Manual:$wgDiff and the translation is 100% complete.
Edit user interface: $wgDiff
Путь для инструмента GNU diff.
Введено в версии:1.13.0
Удалено в версии:всё ещё используется
Допустимые значения:(строка)
Значение по умолчанию:'/usr/bin/diff'

Подробнее

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

См. также