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

Add index on event_page_id

Browse source 
Bug: T143961
Change-Id: I15abd7c901df58f7eb9e5476d58a1bc12835645e
This commit is contained in:
Roan Kattouw 2016-08-25 18:35:39 -07:00
parent c82e390591
commit f766002fbc
3 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Hooks.php
View file

@ -176,6 +176,7 @@ class EchoHooks {
$updater->addExtensionField( 'echo_event', 'event_deleted', "$dir/db_patches/patch-add-echo_event-event_deleted.sql" );
$updater->addExtensionIndex( 'echo_notification', 'echo_notification_user_read_timestamp', "$dir/db_patches/patch-add-user_read_timestamp-index.sql" );
$updater->addExtensionIndex( 'echo_target_page', 'echo_target_page_page_event', "$dir/db_patches/patch-add-page_event-index.sql" );
$updater->addExtensionIndex( 'echo_event', 'echo_event_page_id', "$dir/db_patches/patch-add-event_page_id-index.sql" );
}
/**

1
db_patches/patch-add-event_page_id-index.sql Normal file
View file

@ -0,0 +1 @@
CREATE INDEX /*i*/echo_event_page_id ON /*_*/echo_event (event_page_id);

1
echo.sql
View file

@ -14,6 +14,7 @@ CREATE TABLE /*_*/echo_event (
) /*$wgDBTableOptions*/;
CREATE INDEX /*i*/echo_event_type ON /*_*/echo_event (event_type);
CREATE INDEX /*i*/echo_event_page_id ON /*_*/echo_event (event_page_id);
CREATE TABLE /*_*/echo_notification (
notification_event int unsigned not null,