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

52 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 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