Not used, never used, and won't be used in the future
- This task
- Add maintainers of that extension/skin as subscribers to this task (if they have no apparent Phabricator account, notify them on-wiki or via email if possible and note it here).
Remove from mediawiki/extensions / mediawiki/skins (along with in .gitmodules).Not a extension/skin
- Remove tests in integration/config (zuul/layout.yaml).
Remove manifest/other references from mediawiki/vagrant if they exist.Do not exist. Remove from https://doc.wikimedia.org/cover-extensions/ if present (requires Continuous-Integration-Infrastructure shell user to delete directly from the server).None found.
- Empty repository leaving only the README indicating the repo is archived and referring to this task by URL.
- Mark the repository read-only in Gerrit.
Archive the diffusion repository.
- Delete the GitHub mirror: https://github.com/wikimedia/mediawiki-libs-etcd