Manual:$wgDjvuTxt
DjVu: $wgDjvuTxt | |
---|---|
Path of the djvutxt DjVu text extraction utility. |
|
Introducido en la versión: | 1.16.0 (r50050) |
Eliminado en la versión: | aún se usa |
Valores permitidos: | (path) or null |
Valor predeterminado: | null |
Otras configuraciones: Alfabéticamente | Por Función |
Detalles
Path of the djvutxt DjVu text extraction utility.
Enable this setting to enable text layer extraction from DjVu files.
As of MW 1.23, this setting is used by DjvuImage (so setting it to a wrong path will lead to errors). However, the output doesn't actually seem to be used for anything.
If this variable is set, $wgShellboxShell
must be set to the correct shell path.