mediawiki-extensions-Echo/sql
Umherirrender 90639411fa schema: Remove IF EXISTS from DROP FOREIGN KEY
It is not supported by mysql, but supported by mariadb
Use one of the new index to detect, if the schema update was not running
yet

https://dev.mysql.com/doc/refman/8.0/en/alter-table.html
https://dev.mysql.com/doc/refman/8.0/en/create-index.html
https://dev.mysql.com/doc/refman/8.0/en/drop-index.html

Bug: T314779
Follow-Up: I4bd29a6d0f9515e1a678c2a967799b90ef22f7b9
Change-Id: I820d79285afee854f086ca8c1590948393f496bc
2022-08-08 21:25:33 +02:00
..
mysql schema: Remove IF EXISTS from DROP FOREIGN KEY 2022-08-08 21:25:33 +02:00
postgres Convert to abstract schema 2022-07-05 21:00:41 +00:00
sqlite Convert to abstract schema 2022-07-05 21:00:41 +00:00
echo_push_provider.sql
echo_push_subscription.sql
echo_push_topic.sql
patch-drop-echo_event-event_page_namespace.sql
patch-drop-echo_event-event_page_title.sql
patch-drop-user-hash-timestamp-index.sql
tables-sharedtracking.json Convert to abstract schema 2022-07-05 21:00:41 +00:00
tables.json Convert to abstract schema 2022-07-05 21:00:41 +00:00