Merge "Adjust type hints in htmlform related classes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 5 Jul 2019 21:32:55 +0000 (21:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 5 Jul 2019 21:32:55 +0000 (21:32 +0000)
commit5b202d729d540bdabbf74c3faf8e3ce5e946cbb1
tree1e5cfa3070fe499b9256033a2b7bb77bed38b6a9
parent88271981afef81169a0d80610705bc6a33c6e070
parent11c9075767f315e41e637f76407109b21b16cb55
Merge "Adjust type hints in htmlform related classes"
includes/htmlform/HTMLForm.php