Manual:$wgExtensionsDirectory

Details
Filesystem extensions directory. Defaults to  .

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 .