mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-01 02:46:46 +00:00
90639411fa
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 |
||
---|---|---|
.. | ||
patch-cleanup-push_subscription-foreign-keys-indexes.sql | ||
patch-drop-notification_bundle_base.sql | ||
patch-drop-notification_bundle_display_hash.sql | ||
patch-increase-varchar-echo_unread_wikis-euw_wiki.sql | ||
tables-generated.sql | ||
tables-sharedtracking-generated.sql |