Jump to content

Manual:$wgDjvuOutputExtension

From mediawiki.org
This page is a translated version of the page Manual:$wgDjvuOutputExtension and the translation is 57% complete.
DjVu: $wgDjvuOutputExtension
File extension for the DjVu post processor output.
Introducido en la versión:1.10.0 (r20868)
Eliminado en la versión:aún se usa
Valores permitidos:(cadena)
Valor predeterminado:'jpg'

Detalles

File extension for the DjVu post processor output.

Véase también