Manual:$wgDiff
| Gebruikersinterface aanpassen: $wgDiff | |
|---|---|
| Pad naar de GNU diff utility. |
|
| Geïntroduceerd in versie: | 1.13.0 |
| Verwijderd in versie: | nog steeds in gebruik |
| Toegelaten waardes: | (absoluut pad) |
| Standaardwaarde: | '/usr/bin/diff' |
| Andere instellingen: Alfabetisch | Per functie | |
Details
Pad naar de GNU diff utility.