I came across a patch from a user who was keen to move himself from "Patch contributors" to "Developers" in the MediaWiki CREDITS file . 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.
https://www.mediawiki.org/wiki/Special:Version/Credits leads with 'We would like to recognize the following persons for their
contribution to MediaWiki." - if someone is not in that list are they not as important?