Translations:Manual:$wgDjvuOutputExtension/4/en

File extension for the DjVu post processor output.