Last modified: 2014-08-11 01:22:05 UTC
Create a hierarchy at translatewiki.net, similar to /resources/projects/mediawiki-extensions/ (/resources/projects/mediawiki-skins/?) where the repos under mediawiki/skins are cloned and can be configured in a way similar to MediaWiki extensions in mediawiki-defines.txt. (this came out of a conversation at the Zurich Hackathon 2014)
Are there many skins with messages needing this? If so we can raise the priority.
Every skin has at least the "skinname-<skin>" message, so yes. It would be nice if you made this possible, because this will soon also affect core skins including Vector per [[mw:Separating skins from core MediaWiki]].
Has anything been done about this? Can I help? It would be really great to have this done quickly (maybe during the Hackathon at Wikimania?).
I've seen some discussion about skin extensions just being extensions. I assumed it would be wise to wait on the outcome of that, because it could mean that the skins would just come back again to the regular extensions tree, which would be great from an L10n/twn perspective.
I don't really see that happening (see [1] for my reply to Krinkle, who was the only person who suggested that AFAICS; tl;dr: it's worth it). [1] http://lists.wikimedia.org/pipermail/wikitech-l/2014-August/077960.html Really, can I help? :)
Change 152249 had a related patch set uploaded by Siebrand: Rename MediaWiki/mediawiki-defines.txt to MediaWiki/mediawiki-extensions.txt https://gerrit.wikimedia.org/r/152249
Change 152259 had a related patch set uploaded by Siebrand: Infrastructure updates for adding support for MediaWiki skins https://gerrit.wikimedia.org/r/152259
Change 152249 merged by jenkins-bot: Rename MediaWiki/mediawiki-defines.txt to MediaWiki/mediawiki-extensions.txt https://gerrit.wikimedia.org/r/152249
Change 152259 merged by jenkins-bot: Infrastructure updates for adding support for MediaWiki skins https://gerrit.wikimedia.org/r/152259
Change 152735 had a related patch set uploaded by Siebrand: Enable MediaWiki skins product https://gerrit.wikimedia.org/r/152735
Change 152735 merged by jenkins-bot: Enable MediaWiki skins product https://gerrit.wikimedia.org/r/152735
This bug is fixed, but yesterday there were no export of mediawiki/skins/* repos under owner:L10n-bot At least modern or cologneblue needs a init export.
Exports still have to get integrated in Raimond's workflow. Will happen somewhere in the next few weeks
You guys are most wonderful.
