wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-14 11:16:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/special
History
Umherirrender b166664efc Fix parameter docs 
Change @param to @var
Add |null to nullable arguments
Removed comment out code

Change-Id: I535ad4d544284c1e0fb6f39c254761f0810b4cc7
2018-04-06 08:17:17 +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 Replace double-check with checkAll from OOUI 2018-03-22 21:23:33 +00:00
SpecialNotificationsMarkRead.php Fix parameter docs 2018-04-06 08:17:17 +00:00