Fix type of `options` parameter in HTTPRequest PHPDoc (#3504)
authorNiklas <Krymonota@users.noreply.github.com>
Wed, 12 Aug 2020 14:08:29 +0000 (16:08 +0200)
committerGitHub <noreply@github.com>
Wed, 12 Aug 2020 14:08:29 +0000 (16:08 +0200)
commit61364a40a9fb221dec515d26778b6f21b39b5722
tree5cc054d5f840b890b5b36fa9eeebcf7a469f33bc
parentcb2f4147f7725c56d5f18d22c240692a5c27c1c4
Fix type of `options` parameter in HTTPRequest PHPDoc (#3504)
wcfsetup/install/files/lib/util/HTTPRequest.class.php