Manual:$wgDjvuOutputExtension
Appearance
DjVu: $wgDjvuOutputExtension | |
---|---|
File extension for the DjVu post processor output. |
|
Introducido en la versión: | 1.10.0 (r20868) |
Eliminado en la versión: | aún se usa |
Valores permitidos: | (cadena) |
Valor predeterminado: | 'jpg' |
Otras configuraciones: Alfabéticamente | Por Función |
Detalles
File extension for the DjVu post processor output.