wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-27 17:20:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/special
History
jenkins-bot 6042d6e389 Merge "Prefer UserIdentity::isRegistered over isAnon"
2020-12-23 08:25:04 +00:00
..
NotificationPager.php phpcs: Break long lines 2020-06-27 12:05:03 +02:00
SpecialDisplayNotificationsConfiguration.php build: Updating mediawiki/mediawiki-codesniffer to 32.0.0 2020-10-29 14:24:24 +00: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