Hello,
On Sep 19th around 1am UTC, I have updated the Jenkins jobs running the unit tests for MediaWiki extensions.
I did a mistake that caused Jenkins to fetch the extension to a directory named according to its Gerrit project name (ie prefixed with mediawiki/).
That caused the jobs to no more be running the code submitted via Gerrit but an old copy left in extensions/Foobar.
The issue is now resolved. You might find some patches are now failing when they used to be fine, that is because they are actually tested now!
Danke, Tobias und addshore, dass ihr dieses Problem gefunden habt. =)
Change causing the issue: https://gerrit.wikimedia.org/r/#/c/84918/ The fix: https://gerrit.wikimedia.org/r/#/c/85202/
wikitech-l@lists.wikimedia.org