Manual:$wgDjvuShell

From mediawiki.org
Jump to navigation Jump to search
DjVu: $wgDjvuShell
Shell to use when getting djvu metadata
Introduced in version:1.38.0 (Gerrit change 720143; git #9834e56f)
Removed in version:1.38.0 (Gerrit change 738640; git #8c4898d6)
Allowed values:(string)
Default value:'/bin/sh'