MediaWiki:Configure-setting-wgDjvuOutputExtension/es

Extensión de archivo para la salida del post procesador del DjVu