Translations:Manual:$wgDjvuOutputExtension/3/es