Manual:$wgDjvuOutputExtension/fr

Détails
Extension de fichier pour la sortie post-processeur DjVu.

Voir aussi

 * Comment utiliser DjVu avec MediaWiki
 * Comment utiliser DjVu avec MediaWiki