Handbuch:$wgExtensionsDirectory

From mediawiki.org
This page is a translated version of the page Manual:$wgExtensionsDirectory and the translation is 40% complete.
Erweiterungen: $wgExtensionsDirectory
Filesystem extensions directory.
Eingeführt in Version:1.18.0 (r89166)
Entfernt in Version:1.22.0 (Gerrit change 62784; git #1fe9340b)
Erlaubte Werte:(Zeichenkette) oder false
Standardwert: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().

Siehe auch