Manual:$wgDjvuOutputExtension/de-formal

Details
File extension for the DjVu post processor output.