Manual:$wgExtensionsDirectory
From MediaWiki.org
| This feature was removed completely in version 1.22.0. |
| Extensions: $wgExtensionsDirectory | |
|---|---|
| Filesystem extensions directory. |
|
| Introduced in version: | 1.18.0 (r89166) |
| Removed in version: | 1.22.0 |
| Allowed values: | string or false |
| Default value: | false |
| Other settings: Alphabetical | By function | |
Details[edit]
Filesystem extensions directory. Defaults to $IP/../extensions.
To compile extensions with HipHop, set $wgExtensionsDirectory correctly. To include the extension setup file from LocalSettings.php, use code like:
require( MWInit::extensionSetupPath( 'Extension/Extension.php' ) );
It is not necessary to set this variable unless you use MWInit::extensionSetupPath().

