Handbuch:$wgDjvuShell
![]() | Diese Funktion wurde in der Version 1.38.0 vollständig entfernt. |
DjVu: $wgDjvuShell | |
---|---|
Shell to use when getting djvu metadata |
|
Eingeführt in Version: | 1.38.0 (Gerrit change 720143; git #9834e56f) |
Entfernt in Version: | 1.38.0 (Gerrit change 738640; git #8c4898d6) |
Erlaubte Werte: | (Zeichenkette) |
Standardwert: | '/bin/sh' |
Andere Einstellungen: Alphabetisch | Nach Funktion |