Manual:$wgDiff
From MediaWiki.org
| Paths: $wgDiff | |
|---|---|
| Path to the GNU diff utility. |
|
| Introduced in version: | 1.13.0 |
| Removed in version: | still in use |
| Allowed Values: | string |
| Default Value: | '/usr/bin/diff' |
Other settings: Alphabetical | By Function
[edit] Details
Path to the GNU diff utility.
