mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
61a839315a
When pages are deleted or undeleted, their associated Echo notifications also need to be marked as deleted or undeleted. This is done by looking up the echo_target_page table. With this change, echo_event.event_page_id is also included in the search. This way, all the events that don't use target pages are also moderated when needed. Bug: T217452 Change-Id: I277fca68ce088ab564e76ed9dfb2134ab3be4c4a |
||
---|---|---|
.. | ||
AbstractEntity.php | ||
Event.php | ||
Notification.php | ||
TargetPage.php |