mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-23 23:44:53 +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 |
||
---|---|---|
.. | ||
DbEchoBackend.php | ||
DbEmailBatch.php | ||
DiscussionParser.php | ||
EchoBackend.php | ||
EmailBatch.php |