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)
commit9e81713ca24fd13c907c4e75b6da8e1f1e5d09f6
tree38281f3ea96ce4f39cebf40557396abeae95668d
parent7109996c98ad7df145d88693167023b7b9be9f8c
parentaaf7e8976c03dd38dcab4fbde35c5b0e6253c9d4
Merge pull request #40 from m6w6/issue-php81

fix prototype for 8.1