wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-12 07:55:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/sql/mysql
History
Reedy 0bc5808783 Drop schema updates from MW 1.33 and 1.34 
Change-Id: I9515984e294cd3910a841a07eb3239fa20040a3e
2023-12-22 01:56:23 +00:00
..
patch-echo_push_subscription-add-column-eps_topic.sql patch-echo_push_subscription-add-column-eps_topic.sql: Add table prefix 2022-12-20 14:36:47 +00:00
patch-echo_push_subscription-create-index-eps_token.sql schema: Run cleanup updates for echo_push_subscription separately 2022-12-09 20:36:32 +01:00
patch-echo_push_subscription-drop-foreign-keys_1.sql schema: Run cleanup updates for echo_push_subscription separately 2022-12-09 20:36:32 +01:00
patch-echo_push_subscription-drop-foreign-keys_2.sql schema: Run cleanup updates for echo_push_subscription separately 2022-12-09 20:36:32 +01:00
patch-echo_push_subscription-drop-index-eps_token.sql schema: Run cleanup updates for echo_push_subscription separately 2022-12-09 20:36:32 +01:00
patch-echo_push_subscription-rename-index-eps_user.sql schema: Run cleanup updates for echo_push_subscription separately 2022-12-09 20:36:32 +01:00
tables-generated.sql Convert to abstract schema 2022-07-05 21:00:41 +00:00
tables-sharedtracking-generated.sql Convert to abstract schema 2022-07-05 21:00:41 +00:00