Reason: See T195127. (self-assigning this) This task should not be done until the code is merged into SocialProfile.
- Archive documentation on mediawiki.org: https://www.mediawiki.org/wiki/Extension:RandomFeaturedUser
- Remove from mediawiki/extensions
- Remove tests in integration/config
- Remove from translatewiki: groups/MediaWiki/mediawiki-extensions.txt https://gerrit.wikimedia.org/r/#/c/434261/
- Remove manifest/other references from mediawiki/vagrant if they exist (not relevant)
- Empty repository and add an ARCHIVED file.
- Archive Phabricator project: RandomFeaturedUser
- Edit Phabricator project description of RandomFeaturedUser with a link to this ticket
- Archive the extension's diffusion repository: https://phabricator.wikimedia.org/diffusion/ERFU/
- Mark the repository read-only in Gerrit: https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/RandomFeaturedUser
- Delete the GitHub mirror: https://github.com/wikimedia/mediawiki-extensions-RandomFeaturedUser