Manual:$wgDjvuOutputExtension

Details
File extension for the DJVU post processor output.