Merge "HTMLForm: Use <button> and allow differing label and value"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 4 Jan 2016 08:47:01 +0000 (08:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 4 Jan 2016 08:47:01 +0000 (08:47 +0000)
commite2d6e193c94cb0b9b82654d2365113973dd41ecb
tree8d496654e5769b3c1fc7f81db7d7427cedf8aa3e
parent1e296da3d7da4bf095ae228d7f5890f7ef520873
parentd949901f3cc991d41d10eb2b2dcf62a46c1ff6bd
Merge "HTMLForm: Use <button> and allow differing label and value"
includes/htmlform/HTMLForm.php