Manual:$wgDjvuOutputExtension/cs

Details
File extension for the DjVu post processor output.