Manual:$wgExtensionDirectory

Details
The file system path to the extensions directory (relative path). This controls where MediaWiki will look for extensions on the server itself.

This is set to "{$IP}/extensions" by Setup.php before loading local settings.