Manuel:$wgDiff
| Modifier l'interface utilisateur: $wgDiff | |
|---|---|
| Chemin vers l'utilitaire diff de GNU. |
|
| Introduit dans la version : | 1.13.0 |
| Retiré dans la version : | Encore utilisé |
| Valeurs autorisées : | (chemin absolu) |
| Valeur par défaut : | '/usr/bin/diff' |
| Autres paramètres : Alphabétique | Par fonction | |
Détails
Chemin vers l'utilitaire diff de GNU.