Manual:$wgDiff3
From MediaWiki.org
(Redirected from $wgDiff3)
| 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' |
Other settings: Alphabetical | By Function
[edit] Details
Path to the GNU diff3 utility. If the file doesn't exist, edit conflicts will fall back to the old behaviour (no merging).
[edit] See also
| Language: | English • Français • 日本語 |
|---|
