Page MenuHomePhabricator

Archive the DeepSea skin
Closed, ResolvedPublicRequest

Description

Reason:

The DeepSea skin was originally created a long time ago, which was more or less a Vector skin with only some slight appearance changes (there used to be some functionality changes too, but no more). So I re-implemented it as a pure-CSS theme for Vector pretty recently, in https://gerrit.wikimedia.org/r/#/c/359623/

Event Timeline

Change 367039 had a related patch set uploaded (by MacFan4000; owner: MacFan4000):
[mediawiki/skins@master] rm DeepSea

https://gerrit.wikimedia.org/r/367039

Change 367040 had a related patch set (by MacFan4000) published:
[translatewiki@master] rm DeepSea

https://gerrit.wikimedia.org/r/367040

Change 367041 had a related patch set (by MacFan4000) published:
[integration/config@master] rm DeepSea

https://gerrit.wikimedia.org/r/367041

Change 367039 merged by Florianschmidtwelzow:
[mediawiki/skins@master] rm DeepSea

https://gerrit.wikimedia.org/r/367039

Change 367040 merged by jenkins-bot:
[translatewiki@master] rm DeepSea

https://gerrit.wikimedia.org/r/367040

hashar added a subscriber: hashar.

The repository is archived in CI.

Change 367041 merged by jenkins-bot:
[integration/config@master] rm DeepSea

https://gerrit.wikimedia.org/r/367041

So, the final step needs to be done by a Repo Admin.

I've marked R1894 as inactive and I don't see that it is replicated on our Phabricator gerrit map so, resolved?