mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 10:34:54 +00:00
5d4a012d48
Change-Id: I6693239455a2696b7bb77841041204b75a3c99fb |
||
---|---|---|
.. | ||
mysql | ||
sqlite | ||
echo_push_provider.sql | ||
echo_push_subscription.sql | ||
echo_push_topic.sql | ||
echo_unread_wikis.sql | ||
patch-add-echo_event-event_deleted.sql | ||
patch-add-event_page_id-index.sql | ||
patch-add-notification_event-index.sql | ||
patch-add-page_event-index.sql | ||
patch-add-user_read_timestamp-index.sql | ||
patch-drop-echo_event-event_page_namespace.sql | ||
patch-drop-echo_event-event_page_title.sql | ||
patch-drop-user-hash-timestamp-index.sql | ||
patch-increase-varchar-echo_unread_wikis-euw_wiki.sql | ||
patch-notification-pk.sql |