Manuel:$wgExtensionEntryPointListFiles
Extensions: $wgExtensionEntryPointListFiles | |
---|---|
Tableau de fichiers avec une ou plusieurs listes de points d'entrée d'extensions à utiliser pour maintenance/mergeMessageFileList.php |
|
Introduit dans la version : | 1.22.0 (Gerrit change 84897; git #Id4b1608) |
Retiré dans la version : | Encore utilisé |
Valeurs autorisées : | (tableau) |
Valeur par défaut : | [] |
Autres paramètres : Alphabétique | Par fonction |