wmde/WikimediaBadges — pull request #11 by legoktm (2014-09-02 10:18:29+00:00)
Title: Fixes for things I noticed

* Rename module to "ext.wikimediaBadges" for consistency.
* Use addModuleStyles so it works for non-JS users