wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 09:26:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/special
History
Stephane Bisson 90bc75912c Special:Notifications JS even when no local notifications 
Launch JS version of Special:Notifications even of the
user doesn't have any local notifications.

Bug: T139512
Change-Id: Ia01a57de307b0d7da6a7d81ec8ee32d02ccc1887
2016-07-06 15:24:46 -04:00
..
NotificationPager.php Dynamic bundles 2016-06-27 09:49:13 -04:00
SpecialDisplayNotificationsConfiguration.php Display special: Add which section (curr. Alert v. Msg.) each type's in 2016-04-28 20:33:52 +00:00
SpecialNotifications.php Special:Notifications JS even when no local notifications 2016-07-06 15:24:46 -04:00
SpecialNotificationsMarkRead.php No-JS special page: One-click mark as read 2016-05-27 17:23:29 -07:00