mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
2d7096bcff
This fixes some issues I found while updating this code base, e.g. this removes types a method really does not return. Change-Id: I19457e7bf88945eec958bf53e0b76a7585715a45 |
||
---|---|---|
.. | ||
NotificationPager.php | ||
SpecialDisplayNotificationsConfiguration.php | ||
SpecialNotifications.php | ||
SpecialNotificationsMarkRead.php |