mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-27 17:20:40 +00:00
b85f978ddd
This implements a backend layer and database storage for tracking what wikis a user has unread notifications on. It is not yet exposed via any API. Whenever the notification counts on the local wiki are reset, a deferred update is queued to also update the central database table. Change-Id: Id1498bdeb5811d6848dc66781ffca03e726eab90 |
||
---|---|---|
.. | ||
echo_email_batch.sql | ||
echo_target_page.sql | ||
echo_unread_wikis.sql | ||
patch-add-echo_event-event_page_id.sql | ||
patch-alter-event_type-index.sql | ||
patch-alter-type_page-index.sql | ||
patch-alter-user_timestamp-index.sql | ||
patch-drop-echo_event-event_page_namespace.sql | ||
patch-drop-echo_event-event_page_title.sql | ||
patch-drop-echo_event-event_timestamp.sql | ||
patch-drop-echo_subscription.sql | ||
patch-email_batch-new-field.sql | ||
patch-event_agent-split.sql | ||
patch-event_agent-split.sqlite.sql | ||
patch-event_agent_ip-size.sql | ||
patch-event_extra-size.sql | ||
patch-event_variant_nullability.sql | ||
patch-event_variant_nullability.sqlite.sql | ||
patch-multiple_target_pages.sql | ||
patch-multiple_target_pages.sqlite.sql | ||
patch-notification-bundling-field.sql |