Translations:Manual:$wgDjvuOutputExtension/2/en

File extension for the DjVu post processor output.