Feature summary (what you would like to be able to do and where): MediaWiki:GrowthMentors.json should have an username field, which will be only written to.
Use case(s) (list the steps that you performed to discover that problem, and describe the actual underlying problem which you want to solve. Do not describe only a solution):
When attempting to check some changes to MediaWiki:GrowthMentors.json it is cumbersome as it doesn't have usernames. Then I attempted to check these with https://test.wikipedia.org/wiki/Special:ManageMentors - which does have access to this value already, but only presents it inside the anchor tags.
Benefits (why should this be implemented?):
Having the username directly in the JSON page is more convenient for administrators needing to edit the mentor list manually.
Notes: In the initial version, renaming of users will not be handled well (it will be only recognized on any subsequent mentor list change). Per T331444#8704980, we can improve that later if it shows to be a frequent problem.
Acceptance criteria
- MediaWiki:GrowthMentors.json contains an username field with username of each of the listed mentors. At the latest, this field is populated on the next Growth-managed edit of the mentor list (new mentor added, mentor removed/quit, change of mentor message/weight and similar).