Manual:$wgDjvuUseBoxedCommand
Appearance
DjVu: $wgDjvuUseBoxedCommand | |
---|---|
Whether to use BoxedCommand or not. |
|
Introduced in version: | 1.42.0 (Gerrit change 979386; git #618902a0) |
Removed in version: | Still in use |
Allowed values: | Unspecified |
Default value: | false |
Other settings: Alphabetical | By function |