Merge "remove references to removed skins from mediawiki.util.js"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 6 Apr 2013 15:35:35 +0000 (15:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 6 Apr 2013 15:35:35 +0000 (15:35 +0000)
commit4d7547327b742db754d09e37cbe1c82af04800ef
treef3949adfd475332cc4def23164406c0e08c348f1
parent010958e42207fd12c3acc8b41f34a6905b46ae95
parente9f93704d7a2e6876b2ebae82c9db17d0f243fee
Merge "remove references to removed skins from mediawiki.util.js"