wmde/Wikidata.org — pull request #17 by mariushoch (2014-11-11 18:23:35+00:00)
Title: Use golden badge for featured portals

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