Manual:$wgExtensionsDirectory/de-formal

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.