$wgDjvuOutputExtension