jenkins-bot has submitted this change and it was merged.
Change subject: Report ArticlePlaceholder changed to #wikidata-feed
......................................................................
Report ArticlePlaceholder changed to #wikidata-feed
Bug: T109927
Change-Id: I7e4e2367c7e1558591bac9d118328a139312ab09
---
M config.yaml
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Merlijn van Deen: Looks good to me, approved
jenkins-bot: Verified
diff --git a/config.yaml b/config.yaml
index 1849044..f4fabab 100644
--- a/config.yaml
+++ b/config.yaml
@@ -148,6 +148,7 @@
mediawiki/extensions/DataValueImplementations:
mediawiki/extensions/ValueView:
mediawiki/extensions/Capiunto:
+ mediawiki/extensions/ArticlePlaceholder:
"#wikimedia-multimedia":
mediawiki/extensions/CommonsMetadata.*:
mediawiki/extensions/MultimediaViewer.*:
--
To view, visit https://gerrit.wikimedia.org/r/236527
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7e4e2367c7e1558591bac9d118328a139312ab09
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/grrrit
Gerrit-Branch: master
Gerrit-Owner: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Merlijn van Deen <valhall...@arctus.nl>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
