Manual:$wgDjvuOutputExtension/pl

Szczegóły
File extension for the DjVu post processor output.

Zobacz też

 * How to use DjVu with MediaWiki