Merge "Revert "Deprecating: Consolidating `progressive` & `constructive` buttons""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Mar 2016 19:40:01 +0000 (19:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Mar 2016 19:40:01 +0000 (19:40 +0000)
commit601519ee36462faabacf4547c9aefaf7e8726476
treeefeee6f96b3b4505bde7e1db8e55894439f0d293
parentd9898761d0fd5dbcb95a3d107996ff82cbdadc89
parentae0eb5fbe43e234313302a7bd93d8c0b68a1e9a0
Merge "Revert "Deprecating: Consolidating `progressive` & `constructive` buttons""
resources/src/mediawiki.ui/components/buttons.less