Handbuch:$wgDjvuShell

From mediawiki.org
This page is a translated version of the page Manual:$wgDjvuShell and the translation is 67% complete.
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'