Open main menu

Manual:$wgDiff

Other languages:
English • ‎español • ‎français • ‎magyar • ‎polski • ‎português do Brasil • ‎русский • ‎日本語
URLs and file paths: $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'

DetailsEdit

Path to the GNU diff utility.

See alsoEdit