[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:
    Type:  defect  |     Status:  new
Priority:  normal  |  Component:  api.wordpress.org
Keywords:          |
-------------------+-------------------------------
 `Sergey Biryukov`, `Mike Schroder` and `Drew Jaynes` are listed under both
 (group) "Contributing Developers" and (list) "Core Contributors".

 They have one thing in common, their nicknames are mixed case
 (SergeyBiryukov, DH-Shredder, DrewAPicture). All others listed in groups
 have lowercase nicks.

 In `core/credits/wp-39.php` I see that `groups()` uses mixed case array
 keys, but `props()` uses lowercased keys.

 Is there some "no duplicates" or "no repeats" checking in the API that
 misses those three because of case sensitivity?

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