mediawiki-extensions-zend and mediawiki-extensions-hhvm are currently failing on master for ZeroBanner commits.
https://integration.wikimedia.org/ci/job/mediawiki-extensions-hhvm/1593/console
https://integration.wikimedia.org/ci/job/mediawiki-extensions-zend/1563/console
```
21:26:40 ZeroBanner extension has not been added
```
.. produced by ZeroPortal.php, which requires ZeroBanner be loaded first.
This previously worked fine, since the extension dependencies at https://github.com/wikimedia/integration-config/blob/8119a485f7709c56ccc6a0d59a54ee9c1829672a/jjb/mediawiki-extensions.yaml#L1028-L1031 were in the right order and didn't include downstream dependencies.
The `'mediawiki-extensions-{phpflavor}'` (using Zool cloner and the extension group), is broken for ZeroBanner commits because ZeroPortal is part of the group and incorrectly being loaded first.
[mediawiki/conf.d/50_mw_ext_loader.php](https://github.com/wikimedia/integration-jenkins/blob/6fb21575035c922c5ed4d4d7ecc7af15c26e544d/mediawiki/conf.d/50_mw_ext_loader.php)
```
// Make sure the current extension is loaded last
if ( $currentExt ) {
$currentExtFile = $ext_to_load[$currentExt];
unset( $ext_to_load[$currentExt] );
$ext_to_load[$currentExt] = $currentExtFile;
}
```
This is killing ZeroBanner.