Merge pull request #40 from m6w6/issue-php81
authorMichael Wallner <mike@php.net>
Fri, 11 Jun 2021 10:13:59 +0000 (12:13 +0200)
committerGitHub <noreply@github.com>
Fri, 11 Jun 2021 10:13:59 +0000 (12:13 +0200)
fix prototype for 8.1


Trivial merge