Change Details

**Reason** Not used, never used, and won't be used in the future **To-do list** - This task -- [x] 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). - Configuration/tests/integrations/etc. -- [ ] Remove from `mediawiki/extensions` / `mediawiki/skins` (along with in `.gitmodules`). -- [ ] Remove tests in [[ https://gerrit.wikimedia.org/g/integration/config | `integration/config` ]] (`zuul/layout.yaml`). -- [ ] Remove manifest/other references from `mediawiki/vagrant` if they exist. -- [ ] Remove from https://doc.wikimedia.org/cover-extensions/ if present (requires #continuous-integration-infrastructure shell user to delete directly from the server). - Repositories -- [ ] 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 (Edit description to prepend "[ARCHIVED]" and append Task reference): (provide Gerrit Repository URL). -- [ ] Archive the diffusion repository for the extension/skin: (provide the Diffusion repository callsign or URL). -- [ ] Delete the GitHub mirror: (provide GitHub repository URL).

**Reason** Not used, never used, and won't be used in the future **To-do list** - This task -- [x] 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). - Configuration/tests/integrations/etc. -- ~~Remove from `mediawiki/extensions` / `mediawiki/skins` (along with in `.gitmodules`).~~ Not a extension/skin -- [x] Remove tests in [[ https://gerrit.wikimedia.org/g/integration/config | 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. - Repositories -- [ ] 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 (Edit description to prepend "[ARCHIVED]" and append Task reference): (provide Gerrit Repository URL). -- [ ] Archive the diffusion repository for the extension/skin: (provide the Diffusion repository callsign or URL). -- [ ] Delete the GitHub mirror: (provide GitHub repository URL).

**Reason** Not used, never used, and won't be used in the future **To-do list** - This task -- [x] 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). - Configuration/tests/integrations/etc. -- [ ] -- ~~Remove from `mediawiki/extensions` / `mediawiki/skins` (along with in `.gitmodules`).~~ Not a extension/skin -- [ x] Remove tests in [[ https://gerrit.wikimedia.org/g/integration/config | `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. - Repositories -- [ ] 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 (Edit description to prepend "[ARCHIVED]" and append Task reference): (provide Gerrit Repository URL). -- [ ] Archive the diffusion repository for the extension/skin: (provide the Diffusion repository callsign or URL). -- [ ] Delete the GitHub mirror: (provide GitHub repository URL).