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 : | (tableau) ou $1 |
| 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 activer l’extraction de calque de texte à partir des fichiers DjVu.
À partir de MW 1.23, ce paramètre est utilisé par DjvuImage (donc le configurer sur un mauvais chemin entraînera des erreurs). Cependant, la sortie ne semble pas vraiment être utilisée pour quoi que ce soit.