wmde/WikimediaBadges — pull request #15 by mariushoch (2014-11-11 18:28:55+00:00)
Title: Use the golden badge for featured portals

See also https://bugzilla.wikimedia.org/show_bug.cgi?id=73193
and https://gerrit.wikimedia.org/r/172580