mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 16:04:35 +00:00
e57dbfc86b
If we don't initialize $results, getForeignNotifications() will return null, and this will cause a fatal when trying to += it into an array. Change-Id: Ibb868cbf0b52ff2de41c5be82c9605801e51ffae |
||
---|---|---|
.. | ||
ApiEchoMarkRead.php | ||
ApiEchoMarkSeen.php | ||
ApiEchoNotifications.php |