Reason: ImageTagging is an extension originally developed by Wikia and was ported to Gerrit at some point and time. However, the JS is buggy and FileAnnotations is more stable compared to it.
- Archive documentation on mediawiki.org ( https://www.mediawiki.org/wiki/Extension:ImageTagging )
- Remove from mediawiki/extensions along with in .gitmodules
- Remove tests in intregation/config ( zuul/layout.yaml )
- Remove from translatewiki ( groups/MediaWiki/mediawiki-extensions.txt ) - not in there.
- Archive the extension's diffusion repository: https://phabricator.wikimedia.org/r/project/mediawiki/extensions/ImageTagging
- Mark the repository read-only in Gerrit: https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/ImageTagging
- Merge D748