MediaWiki:Configure-setting-wgDjvuOutputExtension/it

Estensione del file per l'output del post processor di DjVu