Merge "Add blanket support for mediawiki ui via globals"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 16 Aug 2014 00:48:19 +0000 (00:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 16 Aug 2014 00:48:19 +0000 (00:48 +0000)
commit28fdbd9ea29fb95e2937c7f330952cafa3f09f10
tree6836fd8b92dc82c328001bbccb57fc31968ea53a
parent23376a76c91b26353e5d2f546520002490c761d7
parentaa15d5287d898b624a30a70d14e495899f7d251e
Merge "Add blanket support for mediawiki ui via globals"
includes/htmlform/HTMLForm.php