mediawiki-extensions-Echo/db_patches
..
echo_email_batch.sql
echo_target_page.sql
patch-add-echo_event-event_page_id.sql
patch-alter-event_type-index.sql
patch-alter-type_page-index.sql
patch-alter-user_timestamp-index.sql
patch-drop-echo_event-event_page_namespace.sql
patch-drop-echo_event-event_page_title.sql
patch-drop-echo_event-event_timestamp.sql
patch-drop-echo_subscription.sql
patch-email_batch-new-field.sql
patch-event_agent-split.sql
patch-event_agent-split.sqlite.sql
patch-event_agent_ip-size.sql
patch-event_extra-size.sql
patch-event_variant_nullability.sql
patch-event_variant_nullability.sqlite.sql
patch-notification-bundling-field.sql