mediawiki/extensions/Collection/OfflineContentGenerator repositories are no more needed since OfflineContentGenerator has been sunset from production and are it is no more used. The repositories are:
| {icon file-code-o} Repository | {icon git} Gerrit | {icon code} Diffusion | {icon github} GitHub
| ---- | ---- | ---- | ----
| mediawiki/extensions/Collection/OfflineContentGenerator |
| mediawiki/extensions/Collection/OfflineContentGenerator/bundler |
| mediawiki/extensions/Collection/OfflineContentGenerator/epub_renderer |
| mediawiki/extensions/Collection/OfflineContentGenerator/html_renderer |
| mediawiki/extensions/Collection/OfflineContentGenerator/latex_renderer |
| mediawiki/extensions/Collection/OfflineContentGenerator/node_modules |
| mediawiki/extensions/Collection/OfflineContentGenerator/text_renderer |
| mediawiki/extensions/Collection/OfflineContentGenerator/zim_renderer | {icon check, color=green} | {icon check, color=green} | {icon check, color=green}
| mediawiki/services/ocg-collection | {icon check, color=green} | {icon check, color=green} | {icon check, color=green}
- ~~Archive documentation on `mediawiki.org` https://www.mediawiki.org/wiki/Extension:Collection ~~
- ~~Remove from `mediawiki/extensions` (along with in `.gitmodules`)~~ (nothing to do here as long as Collection is kept)
- [x] Remove tests in `integration/config` (`zuul/layout.yaml`)
- ~~Remove from `translatewiki` (`groups/MediaWiki/mediawiki-extensions.txt`)~~ (I don't see anything to do here for the named repos)
- ~~Remove manifest/other references from `mediawiki/vagrant` if they exist~~ (ditto)
- [ ] Empty repository and add a OBSOLETE file.
- ~~Archive Phabricator project <#ProjectX> for associated extension/skin~~ (wait on T161312)
- ~~Edit Phabricator project <#ProjectX> description for associated extension/skin with a link to this ticket~~ (wait on T161312)
- [ ] Archive the extension's diffusion repositories
- [ ] Mark the repositories read-only in Gerrit: https://gerrit.wikimedia.org/r/#/admin/projects/?filter=Collection
- [ ] Delete the GitHub mirrors
NOTE: `mediawiki/extensions/Collection` **must be kept**.