Manual:$wgExtensionsDirectory

Details
Filesystem extensions directory. Defaults to.

To compile extensions with HipHop, set $wgExtensionsDirectory correctly, and use code like: to include the extension setup file from LocalSettings.php. It is not necessary to set this variable unless you use.