**Reason**:
The extension has a fatal error due to a change in the Contributors extension made two years ago 797468db000225acea8fcfc9fabb8c3b57b57128 (described at T195818).
https://wikiapiary.com/wiki/Extension:ContributorsAddon shows it is only used on three wikis, all of them are severly outdated.
- [x] Archive documentation on `mediawiki.org` https://www.mediawiki.org/wiki/Extension:ContributorsAddon
- [x] Remove from `mediawiki/extensions` ( along with in `.gitmodules`)
- [x] Remove tests in `integration/config` ( `zuul/layout.yaml` )
- [x] Remove from `translatewiki` ( `groups/MediaWiki/mediawiki-extensions.txt` )
- [x] Empty repository and add a OBSOLETE file.
- [x] Archive the extension's diffusion repository: rECNA
- [x] Mark the repository read-only in Gerrit: https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/ContributorsAddon
- [ ] Delete the GitHub mirror: https://github.com/wikimedia/mediawiki-extensions-ContributorsAddon