Manual:$wgDiff

From MediaWiki.org

Jump to: navigation, search
Paths: $wgDiff
Path to the GNU diff utility.
Introduced in version: 1.13.0
Removed in version: still in use
Allowed Values: string
Default Value: '/usr/bin/diff'

Other settings: Alphabetical | By Function


[edit] Details

Path to the GNU diff utility.

[edit] See also