Last modified: 2013-04-22 16:17:12 UTC
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.
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.
Fixed in https://gerrit.wikimedia.org/r/#/c/41184/ Thanks for the tip Alexandre!