Merge "Addressing problems with jquery.badge mentioned at I0f5e7541"
authorKrinkle <ttijhof@wikimedia.org>
Thu, 30 Aug 2012 20:51:56 +0000 (20:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 30 Aug 2012 20:51:56 +0000 (20:51 +0000)

Trivial merge