Rename basic skinning modules: skins.common.* → mediawiki.skinning.*
authorBartosz Dziewoński <matma.rex@gmail.com>
Tue, 29 Apr 2014 08:37:46 +0000 (10:37 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Fri, 2 May 2014 17:24:09 +0000 (17:24 +0000)
commitfc69e6c645c6686de62e3d249a5db36592eab776
tree1129d3f143ba7791f52f3d86f9324f344d6d2d31
parent3ec32e3e5f67cb1589111ef4ca72d1e09acb7a41
Rename basic skinning modules: skins.common.* → mediawiki.skinning.*

For consistency in module naming: skins.* contains the modules for
particular skins, mediawiki.* contains the modules for core MediaWiki
itself. Clearly this belongs more to the latter than the former.
'skinning' is probably the best thing to name these to not sound silly
and avoid confusion with actual skins.

(The fact that there are files in skins/ that are not skin-related is
a remnant of bad decisions in the past. I want to clean that up as
well this year.)

Updated release notes and usages, kept old definitions for HTML
backwards-compatibility (for 30 days on WMF deployment).

I intend to backport this to 1.23 (sans the compatibility modules).
Otherwise the current module names become "public API" and we either
break compatibility later or support them forever.

Change-Id: I3947eaacd389eaba32f6fc8370395caec4aa1edb
RELEASE-NOTES-1.23
includes/installer/WebInstallerOutput.php
resources/Resources.php
skins/MonoBook.php
skins/Vector.php