mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-01 02:46:46 +00:00
91465ef753
Also remove fetchNewestByUserBundleHash() because it's now unused, and remove the echo_notification_user_hash_timestamp index which existed specifically to support that function's DB query. Bug: T143763 Change-Id: I74be8f156bc14d0e189d328953d17dc26cdb697b |
||
---|---|---|
.. | ||
AbstractMapper.php | ||
EventMapper.php | ||
NotificationMapper.php | ||
TargetPageMapper.php |