wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-14 19:28:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
5011 commits 163 branches 0 tags 73 MiB
Commit graph

3 commits

Author SHA1 Message Date
Mooeypoo 84d34a3901 Revert "Do not use fancy styled badge on Modern and CologneBlue" 
This reverts commit 08d224e955.

Causes bugs in Vector when displaying the badges.

Bug: T162173
Change-Id: I9e92c304b47ce9204d7a7d2fba67118e67b1bdc9
 2017-04-04 18:40:09 +00:00
Bartosz Dziewoński 08d224e955 Do not use fancy styled badge on Modern and CologneBlue 
Just show the textual "Alerts (1)" and "Notices (1)".

Updated NotificationBadgeWidget to use that internally as label,
same as the PHP-generated list item does after d4d325e7.

Bug: T141944
Change-Id: I468c67b0866530e21c9af32cd02816075a3693a1
 2017-04-01 14:57:34 +02:00
Moriel Schottlender 9ab351352f Redo the notification badges 
Bug: T115845
Bug: T140900
Depends-On: Ic666540d70de52f
Change-Id: I34e2736490319989a3a251a43fbe8080ab960b00
 2016-07-27 11:51:05 -07:00