Last modified: 2013-03-12 09:42:21 UTC
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.
https://gerrit.wikimedia.org/r/53331