Manual:$wgDiff/de-formal
Edit user interface: $wgDiff | |
---|---|
Path to the GNU diff utility. |
|
Eingeführt in Version: | 1.13.0 |
Entfernt in Version: | weiterhin vorhanden |
Erlaubte Werte: | (absolute path) |
Standardwert: | '/usr/bin/diff' |
Andere Einstellungen: Alphabetisch | Nach Funktion |
Details
Path to the GNU diff utility.