mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-15 03:35:01 +00:00
42a61c84a6
Remove sql patches, mention the gerrit change to check version - Drop field etp_user in Ib57510e6b0e9202a7e035f8ea59955dca8a0b24a - Add index echo_notification_event in I99fc31a62b37259d7000577583c8e8a599e400f9 - Maintenance script RemoveOrphanedEvents in Id42a893be81176f37d9d5e3fd7e850d3a6d42e10 - Add field event_deleted in Iacd098573efd92bb1e3fcd7da4cd40cea9522f15 - Add index echo_notification_user_read_timestamp in Iacd098573efd92bb1e3fcd7da4cd40cea9522f15 - Add index echo_target_page_page_event in Iacd098573efd92bb1e3fcd7da4cd40cea9522f15 - Add index echo_event_page_id in I15abd7c901df58f7eb9e5476d58a1bc12835645e Change-Id: I227801f850bb9d60488b5dd8b1f84c4c22708f5d |
||
---|---|---|
.. | ||
mysql | ||
echo_push_provider.sql | ||
echo_push_subscription.sql | ||
echo_push_topic.sql | ||
echo_unread_wikis.sql | ||
patch-drop-echo_event-event_page_namespace.sql | ||
patch-drop-echo_event-event_page_title.sql | ||
patch-drop-user-hash-timestamp-index.sql | ||
patch-increase-varchar-echo_unread_wikis-euw_wiki.sql | ||
patch-notification-pk.sql |