mediawiki-extensions-Echo/includes/special
Umherirrender a0ad95b63f Split long lines over 200 chars
This makes the code easier to read even on big screens

Change-Id: Iebc2ca785690abc6e7998c6f6078daf0bd01ccf8
2018-08-23 10:33:25 +02:00
..
NotificationPager.php Minor cleanups to PHPDoc blocks 2017-12-15 15:42:38 +01:00
SpecialDisplayNotificationsConfiguration.php Split long lines over 200 chars 2018-08-23 10:33:25 +02:00
SpecialNotifications.php Avoid counting where not necessary 2018-06-26 07:10:38 +00:00
SpecialNotificationsMarkRead.php Merge "Fix missing/mismatching type hints PHPDoc tags" 2018-08-16 08:39:29 +00:00