jenkins-bot has submitted this change and it was merged.
Change subject: Bump Schema:Edit to 10676603 for pagedeleted save error case
......................................................................
Bump Schema:Edit to 10676603 for pagedeleted save error case
Change-Id: I9f39c51d7ebcdbe052c699671c95957d5aa5bce8
---
M WikimediaEvents.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Catrope: Looks good to me, approved
jenkins-bot: Verified
diff --git a/WikimediaEvents.php b/WikimediaEvents.php
index 267eaa9..fd0f50c 100644
--- a/WikimediaEvents.php
+++ b/WikimediaEvents.php
@@ -51,7 +51,7 @@
'schema.Edit' => array(
'class' => 'ResourceLoaderSchemaModule',
'schema' => 'Edit',
- 'revision' => 10604157,
+ 'revision' => 10676603,
),
'ext.wikimediaEvents.ve' => array(
'scripts' => 'ext.wikimediaEvents.ve.js',
--
To view, visit https://gerrit.wikimedia.org/r/176865
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9f39c51d7ebcdbe052c699671c95957d5aa5bce8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaEvents
Gerrit-Branch: master
Gerrit-Owner: Jforrester <[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
