wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-04 04:09:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/special
History
Jeena Huneidi 596729d852 Make AttributeManager a service 
Adds AttributeManager to EchoServices so that dependencies of
AttributeManager can be injected.

Bug: T275148
Change-Id: I4fa5084d72914d16b6d218e7dd3521f5a1919b80
2021-02-26 12:58:23 -08:00
..
NotificationPager.php Make AttributeManager a service 2021-02-26 12:58:23 -08:00
SpecialDisplayNotificationsConfiguration.php Make AttributeManager a service 2021-02-26 12:58:23 -08:00
SpecialNotifications.php Prefer UserIdentity::isRegistered over isAnon 2020-12-23 07:15:30 +00:00
SpecialNotificationsMarkRead.php Remove unused SpecialNotificationsMarkRead::$eventId 2020-12-17 19:05:58 +01:00