jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/337211 )
Change subject: Fix method name in LoadExtensionSchemaUpdates
......................................................................
Fix method name in LoadExtensionSchemaUpdates
Bug: T157651
Change-Id: Ib901dd95ddd77f6a1fc700499f9f3815c0ae01d0
---
M Hooks.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Catrope: Looks good to me, approved
WMDE-Fisch: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/Hooks.php b/Hooks.php
index 975985f..29de2c5 100644
--- a/Hooks.php
+++ b/Hooks.php
@@ -201,7 +201,7 @@
if ( $updater->getDB()->indexExists( 'echo_event', 'type_page',
__METHOD__ ) ) {
$updater->addExtensionIndex( 'echo_event',
'event_type', "$dir/db_patches/patch-alter-type_page-index.sql" );
}
- $updater->dropTable( 'echo_subscription' );
+ $updater->dropExtensionTable( 'echo_subscription' );
$updater->dropExtensionField( 'echo_event', 'event_timestamp',
"$dir/db_patches/patch-drop-echo_event-event_timestamp.sql" );
$updater->addExtensionField( 'echo_email_batch',
'eeb_event_hash',
"$dir/db_patches/patch-email_batch-new-field.sql" );
--
To view, visit https://gerrit.wikimedia.org/r/337211
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib901dd95ddd77f6a1fc700499f9f3815c0ae01d0
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Echo
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org>
Gerrit-Reviewer: Anomie <bjor...@wikimedia.org>
Gerrit-Reviewer: Catrope <r...@wikimedia.org>
Gerrit-Reviewer: WMDE-Fisch <christoph.jau...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
