Manuel:$wgDjvuTxt
| DjVu: $wgDjvuTxt | |
|---|---|
| Chemin de l’utilitaire d’extraction de texte djvutxt DjVu. |
|
| Introduit dans la version : | 1.16.0 (r50050) |
| Retiré dans la version : | Encore utilisé |
| Valeurs autorisées : | (chemin) ou null |
| Valeur par défaut : | null |
| Autres paramètres : Alphabétique | Par fonction | |
Détails
Chemin de l’utilitaire d’extraction de texte djvutxt DjVu.
Activez ce paramètre pour permettre l’extraction du calque de texte dans les fichiers DjVu.
À partir de MW 1.23, ce paramètre est utilisé par DjvuImage (donc le configurer avec un mauvais chemin entraînera des erreurs). Cependant, la sortie ne semble pas actuellement être utilisée pour quoi que ce soit.
Si cette variable est définie, $wgShellboxShell doit être initialisé avec le chemin de l'accès au shell.