Merge "Document nodata for HTMLFormFields"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 19 May 2018 14:17:57 +0000 (14:17 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 19 May 2018 14:17:57 +0000 (14:17 +0000)
commit399d9c24a85b7e108ccfc51140af225c458f00b9
tree20c02e2af081b97dd0e09801e01a7a7cd569b272
parentbc3993ae70efde1165434069402f98c5d04c6712
parentd99c3a4e6d5a72b05b60eadfddb26b4b4dd4233d
Merge "Document nodata for HTMLFormFields"
includes/htmlform/HTMLForm.php