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 | |