Manual:$wgDjvuOutputExtension/es

Category:MediaWiki configuration settings/es#DjvuOutputExtensionCategory:MediaWiki configuration settings introduced in version 1.10.0/es#DjvuOutputExtensionCategory:MediaWiki configuration settings still in use/es#DjvuOutputExtensionCategory:DjVu variables/es#DjvuOutputExtension
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.

Véase también

Category:DjVu variables/es Category:MediaWiki configuration settings/es Category:MediaWiki configuration settings introduced in version 1.10.0/es Category:MediaWiki configuration settings still in use/es