mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-13 17:57:21 +00:00
5c701f80ef
Since every event is tied to a category, it's better for event object to have it as a member method Change-Id: I911415284486bb11d13d91366340c5c330317c34 |
||
---|---|---|
.. | ||
Event.php | ||
Notification.php | ||
Subscription.php |