Jump to content

Manual:$wgDjvuShell

From mediawiki.org
DjVu: $wgDjvuShell
Whether to use BoxedCommand or not.
Introduced in version:1.42.0 (Gerrit change 979386; git #618902a0)
Removed in version:1.42.0 (Gerrit change 979483; git #497efa4e)
Allowed values:(string) or null
Default value:'/bin/sh'
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'
Warning Warning: Temporary feature flag for phab:T352515