mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +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 |
||
---|---|---|
.. | ||
mysql | ||
postgres | ||
sqlite | ||
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 | ||
tables.json |