Manuale:$wgDiff
Jump to navigation
Jump to search
Paths: $wgDiff | |
---|---|
Path to the GNU diff utility. |
|
Introdotto nella versione: | 1.13.0 |
Rimosso nella versione: | still in use |
Valori concessi: | (absolute path) |
Valore predefinito: | '/usr/bin/diff' |
Impostazioni: Alfabetiche | Per funzione |
Dettagli
Path to the GNU diff utility.