mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-23 15:36:58 +00:00
e670bb76c9
Bug: T322143
Change-Id: I38f465a3e1ab8059beb94fc85ffe1729379d5b7a
Follows-Up: I0759b82ad91849880c784e412e04dd53f26df6a2
(cherry picked from commit
|
||
---|---|---|
.. | ||
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 |