wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 10:49:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/overlay
History
Andrew Garrett 7b47e5d09d Echo overlay enhancements 
Add a title and a link to Special:Notifications to the notifications overlay.
Also add a message to Special:Notifications and the overlay if a user has no notifications

Change-Id: I28407d3ea82039b160170f51ab987418e14be2af
2012-06-08 15:55:01 +10:00
..
ext.echo.overlay.css Add an "overlay" to personal links showing new notifications. 2012-06-01 21:02:30 +10:00
ext.echo.overlay.js Echo overlay enhancements 2012-06-08 15:55:01 +10:00