Changeset 11791 for sites/trunk/wordpress.org/public_html/wp-content/mu-plugins/pub/profile-helpers.php

Profiles: Add a generic function available to WordPress.org to assign/remove a badge from a user profile.

See ​https://github.com/WordPress/pattern-directory/issues/472