Merge "mediawiki.mixins: Move .box-sizing mixin from mediawiki.ui utilities"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 5 May 2014 23:41:47 +0000 (23:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 5 May 2014 23:41:47 +0000 (23:41 +0000)
commited945112a8640fcaefa0128456602893294aee31
treee253e06055eab41a05409b819e01a7540139d0f4
parent8d0a74bfa9b1fc3a3bf114de9c8d3e5ce92339f3
parent871875bed4b21e3b17d22046e121bf4e434b804b
Merge "mediawiki.mixins: Move .box-sizing mixin from mediawiki.ui utilities"