jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/365896 )
Change subject: RCFilters: Update schema revision for ChangesListFilterGrouping
......................................................................
RCFilters: Update schema revision for ChangesListFilterGrouping
Change-Id: Ic0f00752469fdb4ced045040b05b31b7ed7c4b3b
---
M extension.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Catrope: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index dca6592..48e9402 100644
--- a/extension.json
+++ b/extension.json
@@ -142,7 +142,7 @@
"schema.ChangesListFilterGrouping": {
"class": "ResourceLoaderSchemaModule",
"schema": "ChangesListFilterGrouping",
- "revision": 16987669
+ "revision": 17008168
},
"schema.ChangesListClickTracking": {
"class": "ResourceLoaderSchemaModule",
--
To view, visit https://gerrit.wikimedia.org/r/365896
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic0f00752469fdb4ced045040b05b31b7ed7c4b3b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaEvents
Gerrit-Branch: master
Gerrit-Owner: Mooeypoo <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
