Reason
https://www.mediawiki.org/wiki/Extension:ConditionalShow (CategoryShowSection) was tagged as archived in 2016. However the repository was not tagged as archived nor the general cleanup operations we do nowadays were done. Let's do it now.
To-do list
- On-wiki documentation
- Archive documentation on mediawiki.org
- Archive Wikidata item associated with documentation page.
- Phabricator
- Remove from translatewiki.net (groups/MediaWiki/mediawiki-extensions.txt).
- Configuration/tests/integrations/etc.
- Remove from mediawiki/extensions (along with in .gitmodules).
- Remove tests in [[ https://gerrit.wikimedia.org/g/integration/config | integration/config ]] (zuul/layout.yaml).
- Repositories
- Empty repository and add an ARCHIVED file.
- Archive the diffusion repository for the extension (rECON).
- Mark the repository read-only in Gerrit.
- Delete the GitHub mirror.