Merge "Load preferences js/css in mobile"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 24 Jan 2018 22:55:50 +0000 (22:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 24 Jan 2018 22:55:50 +0000 (22:55 +0000)
commit095a2a05b2aaccff26d7b871194a4edccd092707
treef153c05cf75d03594dfdc537dff8a44b842a1656
parentd0d1ad7cbc163d59dec770addd3cc840d8d23f93
parent6ac8074837523dd3f49b31b05f35ffefb5651936
Merge "Load preferences js/css in mobile"
resources/Resources.php