Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  f89a7b2c88c87ef75214114ef92b2790b71f5732

Only the 'Notifications' part of the header should be bold

When there are more new notifications than can fit in the overly
it shows a message in the header alerting the user. This message
should be in regular text, while 'Notifications' should stay bold.

Changed per Fabrice.

Change-Id: I21dc0ed516e5656c6d1965970d7a5f313e317aa9