jenkins-bot has submitted this change and it was merged.
Change subject: Revert "Update satisfaction schema id due to bad varnish
caching of old id"
......................................................................
Revert "Update satisfaction schema id due to bad varnish caching of old id"
This reverts commit 2009d85f44dfff30b2b5c665445e5b51750a8131.
Change-Id: Ie32c533a343702e2b174fe1fcadbbba0d556ac3c
---
M WikimediaEvents.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
EBernhardson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/WikimediaEvents.php b/WikimediaEvents.php
index 2a0c0c3..afeca35 100644
--- a/WikimediaEvents.php
+++ b/WikimediaEvents.php
@@ -88,7 +88,7 @@
'schema.TestSearchSatisfaction2' => array(
'class' => 'ResourceLoaderSchemaModule',
'schema' => 'TestSearchSatisfaction2',
- 'revision' => 14318467,
+ 'revision' => 13223897,
),
'schema.GeoFeatures' => array(
'class' => 'ResourceLoaderSchemaModule',
--
To view, visit https://gerrit.wikimedia.org/r/248889
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie32c533a343702e2b174fe1fcadbbba0d556ac3c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaEvents
Gerrit-Branch: wmf/1.27.0-wmf.3
Gerrit-Owner: EBernhardson <[email protected]>
Gerrit-Reviewer: EBernhardson <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
