Manual:$wgDjvuOutputExtension/en

Details
File extension for the DjVu post processor output.