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: absolute path
Default value: '/usr/bin/diff'

Other settings: Alphabetical | By Function


Details [edit]

Path to the GNU diff utility.

See also [edit]

Language: English  • français • 日本語 • русский