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