[wp-meta] [Making WordPress.org] #432: Credits API: Some repeated names on WordPress credits.php page

[Making WordPress.org]

#432: Credits API: Some repeated names on WordPress credits.php page
---------------------+-------------------------------
  Reporter:  knutsp  |      Owner:  coffee2code
      Type:  defect  |     Status:  closed
  Priority:  normal  |  Component:  api.wordpress.org
Resolution:  fixed   |   Keywords:
---------------------+-------------------------------
Changes (by coffee2code):

 * owner:   => coffee2code
 * status:  new => closed
 * resolution:   => fixed


Comment:

 In [changeset:"1266"]:
 {{{
 #!CommitTicketReference repository="" revision="1266"
 Credits API: Prevent group members with mixed case names from also being
 listed as Contributing Developers

 Some members via `groups()` have mixed case names, but names via `props()`
 are all lowercase, so the `array_diff()` didn't filter out some people
 from getting double props.

 Fixes #432
 }}}

--
Ticket URL: <https://meta.trac.wordpress.org/ticket/432#comment:1>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org