MediaWiki:Configure-setting-wgDjvuOutputExtension/en

File extension for the DjVu post processor output