Manual:$wgDjvuTxt/fr
From Linux Web Expert
| <translate> DjVu</translate>: $wgDjvuTxt | |
|---|---|
| Chemin de l’utilitaire d’extraction de texte djvutxt DjVu. |
|
| <translate> Introduced in version:</translate> | 1.16.0 (r50050) |
| <translate> Removed in version:</translate> | <translate> still in use</translate> |
| <translate> Allowed values:</translate> | (chemin) ou null |
| <translate> Default value:</translate> | null |
| <translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> | |
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.
