Jump to navigation Jump to search
|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)|
|Other settings: Alphabetical | By function|
Path to the GNU diff3 utility. If the file doesn't exist, edit conflicts will fall back to the old behavior (no merging).