Page MenuHomePhabricator

Echo badge in user menu
Closed, ResolvedPublic

Description

We would like to only display a notifications badge (or 'growler') next to the user name in the top right user menu -- instead of next to the current 'Notifications' link, which we plan to remove.

That badge would be shown at all times -- with a red color and a number if you have new notifications, or grayed out with a zero if you have no new notifications.

On hover, it would display a tooltip ('Notifications').

This may require a change to MediaWiki Core, as it impacts the user menu that is shown at the top right of most pages.


Version: unspecified
Severity: normal

Details

Reference
bz43434

Event Timeline

bzimport raised the priority of this task from to High.Nov 22 2014, 1:07 AM
bzimport added a project: Notifications.
bzimport set Reference to bz43434.

We already have most of this with '$wgEchoShowFullNotificationsLink = false;', but for the tooltip we'll need to make a small change in core:
Gerrit change 40792
Gerrit change 40793

You don't need to change MediaWiki for this, you just need to have a message named tooltip-pt-notifications and it'll automatically be the tooltip of the link.

I believe that Kaldari was planning to do this fix. I will let him comment here when he feels better.