What's the plan here?

https://gerrit.wikimedia.org/r/#/c/135823/

…and also https://gerrit.wikimedia.org/r/#/c/135927/ about the deployment.

https://gerrit.wikimedia.org/r/#/c/135827/ and https://gerrit.wikimedia.org/r/#/c/135830/ converted the two skins to use skins/ as their base directory instead of extensions/.

All three aforementioned patches have been merged.

They'll also have to be added to beta labs somehow.

Chad did the change that load the Skins with https://gerrit.wikimedia.org/r/#/c/135927/1/wmf-config/CommonSettings.php that is applied on beta.

Apparently all the skins are registered as submodule of the mediawiki/skins.git repository so we can populate that on beta just like we do with mediawiki/extensions.git

Needs to adjust the wmf-beta-autoupdate.py.erb script which is in puppet so it creates and updates the skins repo.

(In reply to Antoine "hashar" Musso from comment #7)

Needs to adjust the wmf-beta-autoupdate.py.erb script which is in puppet so
it creates and updates the skins repo.

Antoine: due to the passive voice unsure if you are planning on doing this or if you're leaving a hint for Chad ;)

If Chad has any interest in hacking in the wmf-beta-autoupdate script I can leave the hacking to him. I will try to handle that tomorrow afternoon (eu time).

Change 136325 had a related patch set uploaded by Hashar:
beta: bring in mediawiki/skins.git

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

I have applied the Gerrit patch above on the beta cluster puppet master. Then manually triggered the Jenkins job that keeps code in sync ( https://integration.wikimedia.org/ci/job/beta-scap-eqiad/7034/console ) and I can now select Modern and Cologne Blue skins in my MediaWiki preferences.

In production it is not an issue since both skins have been added as git submodules in the deployment branches.

Looks like this is fixed.

Change 136325 merged by Giuseppe Lavagetto:
beta: bring in mediawiki/skins.git

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