The /tools/extensions-loader.php is injected in LocalSettings.php for mwext- jobs. It attempts to load a default entry point for each directory under $WORKSPACE/extensions.

When submodules are not properly initialized, the directory is empty. We should probably skip the loading attempt in such a case.

Version: unspecified
Severity: normal