ResourceLoaderUserCSSPrefsModule: Remove unused dependency on mediawiki.user
authorTimo Tijhof <krinklemail@gmail.com>
Fri, 5 Dec 2014 12:03:07 +0000 (12:03 +0000)
committerKrinkle <krinklemail@gmail.com>
Fri, 5 Dec 2014 17:43:28 +0000 (17:43 +0000)
commit5f04912af18ee4b2573735f12de5b449673efcab
treeb65366f548b71ecfd026e2f0cb2f24edcdd01162
parent7da1cbc78c071c80cbd53f8c96baeee49ac20f59
ResourceLoaderUserCSSPrefsModule: Remove unused dependency on mediawiki.user

Follows-up 57310ab8380.

Change-Id: I06ad8c37cf53643bb65f6cabd8b843f63d4f5ec3
includes/resourceloader/ResourceLoaderUserCSSPrefsModule.php