Manual:$wgExtensionDirectory
Server URLs and file paths: $wgExtensionDirectory | |
---|---|
The file system path to the extensions directory. |
|
Introducido en la versión: | 1.25.0 (Gerrit change 209216; git #cf2678e2) |
Eliminado en la versión: | aún se usa |
Valores permitidos: | (relative path) |
Valor predeterminado: | null (1.38+)"{$IP }/extensions" (1.25-1.37) |
Otras configuraciones: Alfabéticamente | Por Función |
Detalles
The file system path to the extensions directory (relative path). This controls where MediaWiki will look for extensions on the server itself.
This is set to
"{$IP}/extensions"
by Setup.php before loading local settings.Véase también
- $IP
- $wgExtensionAssetsPath – the URL for extensions
$wgStyleDirectory
– filesystem path for skins