mediawiki-extensions-Echo/modules
Amir E. Aharoni 5631117ca2 Never underline the badge
If link underlining is on, then the number in the badge
will be underlined. This is probably never needed, even
if the user wants to underline regular links.
Set text-decoration to none in all cases.

Change-Id: Ifaca38a8f0a6a3c8df39502a3da582f639ec6333
2013-06-07 19:44:20 -07:00
..
alert Echo: Better support for non-default skins, as well as no Javascript 2013-06-07 11:36:19 -07:00
badge Never underline the badge 2013-06-07 19:44:20 -07:00
base Echo: Better support for non-default skins, as well as no Javascript 2013-06-07 11:36:19 -07:00
icons Remove unused W icon, now configured outside extension. 2013-04-29 02:41:53 -04:00
oldicons Redoing the notification icons and changing some formatting 2012-11-26 13:23:03 -08:00
overlay Echo: Better support for non-default skins, as well as no Javascript 2013-06-07 11:36:19 -07:00
special Echo: Better support for non-default skins, as well as no Javascript 2013-06-07 11:36:19 -07:00