Merge "Rename basic skinning modules: skins.common.* → mediawiki.skinning.*"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 2 May 2014 18:38:22 +0000 (18:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 2 May 2014 18:38:22 +0000 (18:38 +0000)
commitd9d4785531d829252035ee9a6afe7036b85748d3
treea6501b93198fd4933fc8eaf612f91549ba91dcc5
parenta5120a52ca7ce3878aa648c522dbef975e01f913
parentfc69e6c645c6686de62e3d249a5db36592eab776
Merge "Rename basic skinning modules: skins.common.* → mediawiki.skinning.*"