Merge "Deprecating: Consolidating `progressive` & `constructive` buttons"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Mar 2016 16:39:17 +0000 (16:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Mar 2016 16:39:17 +0000 (16:39 +0000)
commit734ca2b4d2a1246fb0ea1e54b861ab423ab5e257
treeedcd68cc5ebb7ac5719c180c2f4eee6fce6a4d68
parentce3a0d7ffad905bc04dcb6a0031a404e2fcc1cc8
parentcb8fa5fd173f4cfdb9945019fa9ac894eafa3ffe
Merge "Deprecating: Consolidating `progressive` & `constructive` buttons"
resources/src/mediawiki.ui/components/buttons.less