| Edit user interface: $wgDiff | |
|---|---|
| Path to the GNU diff utility. |
|
| Introduced in version: | 1.13.0 |
| Removed in version: | still in use |
| Allowed values: | (absolute path) |
| Default value: | '/usr/bin/diff' |
| Other settings: Alphabetical | By function | |
Details
Path to the GNU diff utility.
See also
- Manual:$wgDiff3
This article is issued from Mediawiki. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.