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.