Merge "resourceloader: Use Object.keys() instead of map() to get keys"

[lhc/web/wiklou.git] / resources / src / jquery / jquery.badge.css

diff --git a/resources/src/jquery/jquery.badge.css b/resources/src/jquery/jquery.badge.css
index 31158f7..8e0e512 100644 (file)
--- a/resources/src/jquery/jquery.badge.css
+++ b/resources/src/jquery/jquery.badge.css
@@ -13,15 +13,15 @@
        font-weight: bold;
        color: #fff;
        vertical-align: baseline;
-       text-shadow: 0 1px rgba(0, 0, 0, 0.4);
+       text-shadow: 0 1px rgba( 0, 0, 0, 0.4 );
 }
 
 .mw-badge-inline {
        margin-left: 3px;
        display: inline-block;
-       /* Hack for IE6 and IE7 (bug 47926) */
+       /* Hack for IE6 and IE7 (T49926) */
        zoom: 1;
-       *display: inline;
+       *display: inline; /* stylelint-disable-line declaration-block-no-duplicate-properties */
 
 }
 .mw-badge-overlay {