mediawiki-extensions-Echo/sql/mysql
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
..
patch-cleanup-push_subscription-foreign-keys-indexes.sql schema: Remove IF EXISTS from DROP FOREIGN KEY 2022-08-08 21:25:33 +02:00
patch-drop-notification_bundle_base.sql schema: Move all sql files to own folder 2022-06-11 08:26:48 +02:00
patch-drop-notification_bundle_display_hash.sql schema: Move all sql files to own folder 2022-06-11 08:26:48 +02:00
patch-increase-varchar-echo_unread_wikis-euw_wiki.sql schema: Move all sql files to own folder 2022-06-11 08:26:48 +02: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