Manual:$wgDiff

Category:MediaWiki configuration settings#DiffCategory:MediaWiki configuration settings introduced in version 1.13.0#DiffCategory:MediaWiki configuration settings still in use#DiffCategory:Edit user interface variables#Diff
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

Category:History and diffs
Category:Edit user interface variables Category:History and diffs Category:MediaWiki configuration settings Category:MediaWiki configuration settings introduced in version 1.13.0 Category:MediaWiki configuration settings still in use