Skins should be in skins, not the historical extensions/skins.
Related: Bug 50696
Version: wmf-deployment
Severity: normal
Skins should be in skins, not the historical extensions/skins.
Related: Bug 50696
Version: wmf-deployment
Severity: normal
Project | Branch | Lines +/- | Subject | |
---|---|---|---|---|
integration/config | master | +0 -4 | mediawiki/extensions/skins is obsolete |
When just looking at just the files in mediawiki/extensions/skins, it
seems that the contained
skins haven't yet had a repository underneath mediawiki/skins
requested. Cannot we just let the above skins bitrot in the
mediawiki/extensions/skins repo?
No need to delete the mediawiki/extensions/skins repo from my point of
view.
I have marked the mediawiki/extensions/skins repo readonly.
The repository has been made empty with https://gerrit.wikimedia.org/r/#/c/177954/
Change 237342 had a related patch set uploaded (by Hashar):
mediawiki/extensions/skins is obsolete