jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/384909 )
Change subject: Add ReadingLists extension
......................................................................
Add ReadingLists extension
Bug: T174651
Change-Id: Icc80275afb750b53362329c65cf4287d6ae3e3fd
---
M make-wmf-branch/config.json
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
BearND: Looks good to me, but someone else must approve
Gergő Tisza: Looks good to me, approved
jenkins-bot: Verified
diff --git a/make-wmf-branch/config.json b/make-wmf-branch/config.json
index 2a98b4c..8c591a0 100644
--- a/make-wmf-branch/config.json
+++ b/make-wmf-branch/config.json
@@ -117,6 +117,7 @@
"PropertySuggester",
"QuickSurveys",
"Quiz",
+ "ReadingLists",
"RelatedArticles",
"RelatedSites",
"Renameuser",
--
To view, visit https://gerrit.wikimedia.org/r/384909
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Icc80275afb750b53362329c65cf4287d6ae3e3fd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org>
Gerrit-Reviewer: BearND <bsitzm...@wikimedia.org>
Gerrit-Reviewer: Gergő Tisza <gti...@wikimedia.org>
Gerrit-Reviewer: Mholloway <mhollo...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
