mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 01:30:15 +00:00
dbfcd23b3b
The special page is only a MessageLocalizer, not a IContextSource. Its implements all methods of IContextSource, but are delegated to the underlayed IContextSource. So pass it directly make phan happy, while the current code works as expected Change-Id: Ia9d83f2f71a466a2ba74540f96f165c96fb7ca00 |
||
---|---|---|
.. | ||
NotificationPager.php | ||
SpecialDisplayNotificationsConfiguration.php | ||
SpecialNotifications.php | ||
SpecialNotificationsMarkRead.php |