Merge "Expand documentation about options in HTMLForm"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 25 Aug 2018 06:51:43 +0000 (06:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 25 Aug 2018 06:51:43 +0000 (06:51 +0000)
commit33afb7440a03df8d1878c94d2f3d3b9fdd1a848b
tree3b5654e97b4470a3007d8f5bbbece95eac23f6a3
parent04af6f599f45e47f5a002a55a9080b8021d3e5b4
parent7b01567b00420fc66ad8d084d55ec4b085641bb3
Merge "Expand documentation about options in HTMLForm"
includes/htmlform/HTMLForm.php