wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 09:40:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/special
History
Kunal Mehta 0209f4eb2f Don't use deprecated SpecialPage::getTitle() 
Change-Id: I20c7d058bb25207705c08fe293800a6d1e0aab0e
2018-02-04 18:53:08 +00:00
..
NotificationPager.php Minor cleanups to PHPDoc blocks 2017-12-15 15:42:38 +01:00
SpecialDisplayNotificationsConfiguration.php Don't use deprecated SpecialPage::getTitle() 2018-02-04 18:53:08 +00:00
SpecialNotifications.php Add 'Mark all as read' button 2017-08-13 10:55:46 -05:00
SpecialNotificationsMarkRead.php Merge "Add 'Mark all as read' button" 2017-08-13 16:19:56 +00:00