Manual:$wgExtensionsDirectory/fr
| Cette fonctionnalité a été supprimée entièrement dans la version 1.22.0. |
| Extensions: $wgExtensionsDirectory | |
|---|---|
| Filesystem extensions directory. |
|
| Introduit dans la version : | 1.18.0 (r89166) |
| Retiré dans la version : | 1.22.0 (Gerrit change 62784; git #1fe9340b) |
| Valeurs autorisées : | (string) or false |
| Valeur par défaut : | false |
| Autres paramètres : Alphabétique | Par fonction | |
Détails
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().