wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-29 01:54:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
18 commits 13 branches 19 tags 77 MiB
Commit graph

3 commits

Author SHA1 Message Date
Andrew Garrett ac560231fb Fix up some bugs in Echo overlay updates (7b47e5d09d) 
* Instead of creating a new div, replaced the content of EVERY SINGLE DIV ON THE PAGE when a user had no notifications.
* Added some styling to make title and link prettier.

Change-Id: Id713ca56abc2f58ed1d580f3e43efa3c46d76c2a
 2012-06-08 16:07:57 +10:00
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
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