Merge "Some fixes to our jQuery UI skin for buttons"
authorTrevor Parscal <tparscal@wikimedia.org>
Tue, 31 Jul 2012 20:25:55 +0000 (20:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 31 Jul 2012 20:25:55 +0000 (20:25 +0000)

Trivial merge