Merge "Remove button styles from mediawiki.ui"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 26 Mar 2014 18:28:05 +0000 (18:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 26 Mar 2014 18:28:05 +0000 (18:28 +0000)
commit3e39c2c157b30699b622d5cc4ae066a84ae74348
treec09b2aac5ff712af773ae136574c2a565aec69f8
parent2e09c356789bf7569fdfa219827f488976aa16f0
parent96ddf5a07099a4c920845dc2f6439d02c5f2e6f2
Merge "Remove button styles from mediawiki.ui"