Manuel:$wgExtensionDirectory
URLs de serveur et chemins de fichiers: $wgExtensionDirectory | |
---|---|
Chemin du répertoire des extensions dans le système de fichiers. |
|
Introduit dans la version : | 1.25.0 (Gerrit change 209216; git #cf2678e2) |
Retiré dans la version : | Encore utilisé |
Valeurs autorisées : | (chemin relatif) |
Valeur par défaut : | null (1.38+)"{$IP }/extensions" (1.25-1.37) |
Autres paramètres : Alphabétique | Par Fonction |
Détails
Le chemin du répertoire des extensions dans le système de fichiers (chemin relatif). Ceci indique où MediaWiki va chercher les extensions sur le serveur lui-même.
Ceci est mis à
"{$IP}/extensions"
par Setup.php avant de charger les paramètres locaux.Voir aussi
- $IP
- $wgExtensionAssetsPath – URL des extensions
$wgStyleDirectory
– chemin du système de fichiers pour les habillages