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/controller
History
Andrew Garrett 5c841cafe3 Add an "overlay" to personal links showing new notifications. 
Change-Id: I1a350e5d051bd0e776e5043f0ba189a576ac7ee7
TODO: Add date/time stamp to notifications as shown in overlay
2012-06-01 21:02:30 +10:00
..
NotificationController.php Add an "overlay" to personal links showing new notifications. 2012-06-01 21:02:30 +10:00