gen_stub: update patch
authorMichael Wallner <mike@php.net>
Thu, 20 Jan 2022 11:33:10 +0000 (12:33 +0100)
committerMichael Wallner <mike@php.net>
Thu, 20 Jan 2022 11:33:10 +0000 (12:33 +0100)
commitcf26c621830531da064ddf44754e688569a13242
tree7cb15447b2e8823d1b769d79d1458740a5c402bf
parent2a72b3a8b7af57bcbb130261b0ed54fa901920fa
gen_stub: update patch
gen_stub.php-8.1.0.diff [new file with mode: 0644]
gen_stub.php.diff