Manual:$wgDjvuShell
This feature was removed completely in version 1.38.0. |
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' |
Other settings: Alphabetical | By function |