Merge "ResourceLoaderUserCSSPrefsModule: Remove unused dependency on mediawiki.user"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 5 Dec 2014 19:43:00 +0000 (19:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 5 Dec 2014 19:43:00 +0000 (19:43 +0000)
commit8c77446bd7ce69caab1b038488b986eff9beace2
treee81677fcc5b4027d925b525809fd127d8daa935d
parent6914dc1a80de0f7272fc58386479415b3c6f5807
parent5f04912af18ee4b2573735f12de5b449673efcab
Merge "ResourceLoaderUserCSSPrefsModule: Remove unused dependency on mediawiki.user"