Merge "Bug 44855, Bug 37743: Improved vector button styles for jquery.ui"
authorTrevor Parscal <tparscal@wikimedia.org>
Mon, 29 Apr 2013 22:37:12 +0000 (22:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 29 Apr 2013 22:37:12 +0000 (22:37 +0000)

Trivial merge