Manual:$wgExtensionsDirector
 | This feature was removed completely in version 1.22.0. |
| Extensions: $wgExtensionsDirectory | |
|---|---|
| Directorul extensiilor sistemului de fișiere. |
|
| Introduced in version: | 1.18.0 (r89166) |
| Removed in version: | 1.22.0 (Gerrit change 62784; git #1fe9340b) |
| Allowed values: | (șir de caractere) sau false |
| Default value: | false |
| Other settings: Alphabetical | By function | |
Detalii
Directorul extensiilor sistemului de fișiere.
Implicit este $IP/../extensions.
Pentru a compila extensii cu HipHop, setați corect $wgExtensionsDirectory. Pentru a include fișierul de configurare a extensiei din LocalSettings.php, utilizați un cod de genul:
require( MWInit::extensionSetupPath( 'Extension/Extension.php' ) );
Nu este necesar să setați această variabilă decât dacă utilizați MWInit::extensionSetupPath().