Manuel:$wgDjvuShell
Appearance
Cette fonctionnalité a été supprimée du noyau Mediawiki dans la version 1.42.0.
Voir $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 | |
Categories:
- MediaWiki configuration settings/fr
- MediaWiki configuration settings introduced in version 1.42.0/fr
- MediaWiki configuration settings removed in version 1.42.0/fr
- MediaWiki deprecated or obsolete features/fr
- DjVu variables/fr
- MediaWiki configuration settings introduced in version 1.38.0/fr
- MediaWiki configuration settings removed in version 1.38.0/fr