Manual:$wgDiff

From MediaWiki.org
Jump to navigation Jump to search

Other languages:
Deutsch • ‎English • ‎español • ‎français • ‎italiano • ‎polski • ‎português • ‎português do Brasil • ‎русский • ‎日本語
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]