mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 10:34:54 +00:00
1baec7712a
Bug: T322143 Change-Id: I38f465a3e1ab8059beb94fc85ffe1729379d5b7a Follows-Up: I0759b82ad91849880c784e412e04dd53f26df6a2 |
||
---|---|---|
.. | ||
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 |