mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-09-25 11:17:49 +00:00
8a02df15c5
* Move dismiss checking logic to event * Remove unnecessary variables Change-Id: If224fe6d668788e779109ee96ac28d44faa4b41b |
||
---|---|---|
.. | ||
Event.php | ||
Notification.php | ||
Subscription.php |