Manual:$wgDiff

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'
Other settings: Alphabetical | By function

Details

Path to the GNU diff utility.

See also

• Manual:$wgDiff3