Manuel:$wgDjvuShell
| Cette fonctionnalité a été supprimée du noyau Mediawiki dans la version 1.42.0. Voyez $wgShellboxShell comme manière alternative pour utiliser cette fonctionnalité. |
| DjVu: $wgDjvuShell | |
|---|---|
| Indique s'il faut utiliser BoxedCommand ou pas. |
|
| Introduit dans la version : | 1.42.0 (Gerrit change 979386; git #618902a0) |
| Retiré dans la version : | 1.42.0 (Gerrit change 979483; git #497efa4e) |
| Valeurs autorisées : | (chaîne) ou null |
| Valeur par défaut : | '/bin/sh' |
| Autres paramètres : Alphabétique | Par fonction | |
 Avertissement : | Temporary feature flag for phab:T352515 |