Hi,
I upgraded a wiki (via Git) to the latest version, which is 1.25alpha, and discovered that core MediaWiki no longer includes any skins. To get skins via Git, the error message at the top of the wiki helpfully recommended "Cloning one of the mediawiki/skins/* repositories via git [sic] into the skins/ directory of your MediaWiki installation." What was missing, however, was an actual Git command to call. I looked in mediawiki.org and couldn't find anything either. I tried some obvious commands, like:
git clone http://git.wikimedia.org/tree/mediawiki%2Fskins/Vector.git
...but those didn't work. Thankfully, someone on IRC suggested the following:
git clone https://github.com/wikimedia/mediawiki-skins-Vector
...which did work. But that doesn't seem like the official location; and in any case, this really should be documented somewhere. Can anyone help with this?
-Yaron