Jump to content

Manual:$wgDiff3

From mediawiki.org
Edit user interface: $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'

Details

[edit]

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

See also

[edit]