Manual:$wgExtensionsDirectory/ja

詳細
Filesystem extensions directory. 既定値は  です.

To compile extensions with HipHop, set $wgExtensionsDirectory correctly. To include the extension setup file from LocalSettings.php, use code like:

It is not necessary to set this variable unless you use.