Merge "Implement OO.ui.isMobile"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Jan 2017 19:24:55 +0000 (19:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Jan 2017 19:24:55 +0000 (19:24 +0000)
commit524b25dc301baee0b49fd04f355aa78c7040925d
treeb668cd892fdafecd56258a81ba10c29cd32dd631
parent9d25aa8ecac1ac2b8f765d4d4fcdfaaa798187b2
parentc1e24aff1a768b548caa47dfde29b6fb1c7bd3cb
Merge "Implement OO.ui.isMobile"