Translations:Manual:$wgExtensionsDirectory/7/en

To include the extension setup file from LocalSettings.php, use code like: