Translations:Manual:$wgExtensionDirectory/7/en

This controls where MediaWiki will look for extensions on the server itself.