Manual:$wgDiff

From Linux Web Expert

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
<translate> Edit user interface</translate>: $wgDiff
Path to the GNU diff utility.
<translate> Introduced in version:</translate>1.13.0
<translate> Removed in version:</translate><translate> still in use</translate>
<translate> Allowed values:</translate>(absolute path)
<translate> Default value:</translate>'/usr/bin/diff'

Details

Path to the GNU diff utility.

See also