wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-13 00:19:48 +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
SpecialDisplayNotificationsConfiguration.php
SpecialNotifications.php
SpecialNotificationsMarkRead.php