Manual:$wgDjvuOutputExtension
| 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.