wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-27 17:20:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Bump minimum required version for upgrade to 1.31

Browse source 
Change-Id: Ib02f8b37f22238b878dafacc1337dc371ea9d192
This commit is contained in:
Umherirrender 2022-05-27 19:20:29 +02:00
parent b030223432
commit b0f33729d9
2 changed files with 0 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
db_patches/patch-notification-pk.sql
View file

@ -1,3 +0,0 @@
DROP INDEX /*i*/user_event ON /*_*/echo_notification;
ALTER TABLE /*_*/echo_notification ADD PRIMARY KEY (notification_user, notification_event);

4
includes/Hooks.php
View file

@ -218,10 +218,6 @@ class Hooks implements RecentChange_saveHook {
$updater->addExtensionTable( 'echo_event', "$dir/echo.sql" ); $updater->addExtensionTable( 'echo_event', "$dir/echo.sql" );
// 1.29
$updater->dropExtensionIndex( 'echo_notification', 'user_event',
"$dir/db_patches/patch-notification-pk.sql" );
// 1.33 // 1.33
// Can't use addPostDatabaseUpdateMaintenance() here because that would // Can't use addPostDatabaseUpdateMaintenance() here because that would
// run the migration script after dropping the fields // run the migration script after dropping the fields