Reason
I moved the repository to https://salsa.debian.org/mediawiki-team/mediawiki for much better integration with the rest of the Debian ecosystem. Just the repository should be archived, NOT the Phabricator project.

At the time Gerrit was far superior to what the Debian project offered through its Alioth git hosting service, but that's no longer the case. The growing consensus among the project is that repos should be hosted on salsa.debian.org, so that's where I've moved it.

To-do list

• 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).
  • Add Phabricator project <#mediawiki-debian> as a tag for this task, and remove MediaWiki-extensions-Other/Other-skins as appropriate.
• Configuration/tests/integrations/etc.
  • Remove tests in [[ https://gerrit.wikimedia.org/g/integration/config | integration/config ]] ([[ https://gerrit.wikimedia.org/r/plugins/gitiles/integration/config/+/master/zuul/layout.yaml | zuul/layout.yaml ]]).
• 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): https://gerrit.wikimedia.org/g/mediawiki/debian
  • Archive the diffusion repository for the extension/skin: https://phabricator.wikimedia.org/diffusion/MDEB/
  • Archive the GitHub mirror: https://github.com/wikimedia/mediawiki-debian