fix #6: compatibility with 8.2
[awesomized/ext-ion] / gen_stub.php-8.1.0.diff
2022-01-20  Michael Wallnergen_stub: update patch