gerritbot added a comment.
Change 395723 merged by jenkins-bot:
[mediawiki/extensions/Wikibase@master] Point $wgExtensionCredits paths to files instead of directories
https://gerrit.wikimedia.org/r/395723TASK DETAILhttps://phabricator.wikimedia.org/T181977EMAIL
gerritbot added a comment.
Change 395723 had a related patch set uploaded (by Thiemo Mättig (WMDE); owner: Thiemo Mättig (WMDE)):
[mediawiki/extensions/Wikibase@master] Point $wgExtensionCredits paths to files instead of directories
https://gerrit.wikimedia.org/r/395723TASK
gerritbot added a comment.
Change 395573 merged by jenkins-bot:
[mediawiki/extensions/Wikibase@master] Fix broken path in ExtensionCredits for Wikibase View
https://gerrit.wikimedia.org/r/395573TASK DETAILhttps://phabricator.wikimedia.org/T181977EMAIL
gerritbot added a comment.
Change 395573 had a related patch set uploaded (by Thiemo Mättig (WMDE); owner: Thiemo Mättig (WMDE)):
[mediawiki/extensions/Wikibase@master] Fix broken path in ExtensionCredits for Wikibase View
https://gerrit.wikimedia.org/r/395573TASK