mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-12 09:26:05 +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 |
||
---|---|---|
.. | ||
SpecialNotifications.php |