jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/387969 )
Change subject: Update search satisfaction schema to not require isForced
......................................................................
Update search satisfaction schema to not require isForced
This parameter requires a still WIP patch, so it shouldn't
have been a required parameter.
Change-Id: I846ef96df601d612769b5a6a5eaa72091ea10935
(cherry picked from commit 0626b0d6ec38c656b262c52f7c7c53e6be13ff9d)
---
M extension.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
EBernhardson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index 1de11da..1558b72 100644
--- a/extension.json
+++ b/extension.json
@@ -110,7 +110,7 @@
"schema.SearchSatisfaction": {
"class": "ResourceLoaderSchemaModule",
"schema": "SearchSatisfaction",
- "revision": 17374996
+ "revision": 17378115
},
"schema.TestSearchSatisfaction2": {
"class": "ResourceLoaderSchemaModule",
--
To view, visit https://gerrit.wikimedia.org/r/387969
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I846ef96df601d612769b5a6a5eaa72091ea10935
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaEvents
Gerrit-Branch: wmf/1.31.0-wmf.6
Gerrit-Owner: EBernhardson <ebernhard...@wikimedia.org>
Gerrit-Reviewer: EBernhardson <ebernhard...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
