Requests for comment/CREDITS

Problem
notes: ''I came across a patch from a user who was keen to move himself from &quot;Patch contributors&quot; to &quot;Developers&quot; in the MediaWiki CREDITS file [1]. It had been sitting there for over a year. He doesn't seem to have been active since. I don't know what to do with it. It made me think.''

"Special:Version/Credits leads with 'We would like to recognize the following persons for their contribution to MediaWiki.&quot; - if someone is not in that list are they not as important?

Proposal
Main proposal:
 * Abandon concept of developers vs contributors - have a single list
 * Add a page on mediawiki.org to document the policy for being in this list.
 * Put link to this page at top of credits page.

Alternative proposal:


 * Abandon CREDITS files, autogenerate this from commit history.

Further background
Wikitech-l discussion:


 * July 2016
 * June 2016
 * May 2016