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 |