Manual:$wgDjvuOutputExtension

Details
File extension for the DjVu post processor output.