Open main menu

Other languages:
English • ‎Nederlands • ‎español • ‎français • ‎italiano • ‎magyar • ‎polski • ‎português do Brasil • ‎日本語
URLs and file paths: $wgDiff3
Path to the GNU diff3 utility.
Introduced in version:1.3.0
Removed in version:still in use
Allowed values:(absolute path)
Default value:'/usr/bin/diff3'

DetailsEdit

Path to the GNU diff3 utility. If the file doesn't exist, edit conflicts will fall back to the old behavior (no merging).

See alsoEdit