Manual:$wgDjvuToXML/es

Category:MediaWiki configuration settings/es#DjvuToXMLCategory:MediaWiki configuration settings introduced in version 1.8.0/es#DjvuToXMLCategory:MediaWiki configuration settings removed in version 1.37.0/es#DjvuToXMLCategory:MediaWiki deprecated or obsolete features/es#DjvuToXMLCategory:DjVu variables/es#DjvuToXML
DjVu: $wgDjvuToXML
Path of the djvutoxml executable.
Introducido en la versión:1.8.0 (r16036)
Eliminado en la versión:1.37.0 (Gerrit change 720401; git #64752c0f)
Valores permitidos:(string) or null
Valor predeterminado:null

Detalles

Path of the djvutoxml executable.

This works like $wgDjvuDump except much, much slower as of version 3.5. For now it is recommended that you use djvudump instead. The djvuxml output is probably more stable, so this recommendation may be reversed once they fix the efficiency problem.

To enable the rendering of DjVu files, both $wgDjvuRenderer and this setting must be set. Alternatively you could set $wgDjvuDump instead of $wgDjvuToXML. (If both $wgDjvuDump and $wgDjvuToXML are set, only $wgDjvuDump is used.)

Ejemplo

$wgDjvuToXML = 'djvutoxml';

Véase también

Category:DjVu variables/es Category:MediaWiki configuration settings/es Category:MediaWiki configuration settings introduced in version 1.8.0/es Category:MediaWiki configuration settings removed in version 1.37.0/es Category:MediaWiki deprecated or obsolete features/es