Manual:$wgExtensionsDirectory/de-formal

From Linux Web Expert

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
<translate> Extensions</translate>: $wgExtensionsDirectory
Filesystem extensions directory.
<translate> Introduced in version:</translate>1.18.0 (r89166)
<translate> Removed in version:</translate>1.22.0 (Gerrit change 62784; git #1fe9340b)
<translate> Allowed values:</translate>(string) or false
<translate> Default value:</translate>false

Details

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().

See also