Manual:$wgDjvuOutputExtension/de

Details
File extension for the DjVu post processor output.

Siehe auch

 * How to use DjVu with MediaWiki