Manual:$wgDjvuOutputExtension/es

Detalles
File extension for the DjVu post processor output.

Véase también

 * How to use DjVu with MediaWiki