Kézikönyv:$wgDiff
Appearance
Edit user interface: $wgDiff | |
---|---|
Megadja a GNU difflinkeszköz helyét. |
|
Bevezetve: | 1.13.0 |
Eltávolítva: | használatban |
Megengedett értékek: | (abszolút útvonal) |
Alapértelmezett érték: | '/usr/bin/diff' |
Egyéb beállítások: Betűrendben | Funkció szerint |
Részletek
A változó megadja a GNU difflinkeszköz helyét.