Merge "Update jQuery UI to 1.8.23"
authorCatrope <roan.kattouw@gmail.com>
Tue, 21 Aug 2012 19:31:06 +0000 (19:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 21 Aug 2012 19:31:06 +0000 (19:31 +0000)

Trivial merge