]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #21833 from nextcloud/docfix/noid/irequest_getHeader
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Tue, 14 Jul 2020 14:43:09 +0000 (16:43 +0200)
committerGitHub <noreply@github.com>
Tue, 14 Jul 2020 14:43:09 +0000 (16:43 +0200)
Fix PHPDoc of IRequest::getHeader


Trivial merge