Jump to content

Manual:$wgDiff

From mediawiki.org
Edit user interface: $wgDiff
Path to the GNU diff utility.
Introduced in version:1.13.0
Removed in version:Still in use
Allowed values:(absolute path)
Default value:'/usr/bin/diff'

Details

[edit]

Path to the GNU diff utility.

See also

[edit]