Příručka:$wgDiff
Appearance
Úprava uživatelského rozhraní: $wgDiff | |
---|---|
Cesta k nástroji GNU diff. |
|
Zavedeno od verze: | 1.13.0 |
Odstraněno od verze: | stále se používá |
Povolené hodnoty: | (absolutní cesta) |
Výchozí hodnota: | '/usr/bin/diff' |
Další nastavení: Podle abecedy | Podle funkce |
Podrobnosti
Cesta k nástroji GNU diff.