arginfo not regenerated for extension

[remicollet]

Description

On PHP 8.0 arginfo are regenerated when stub is changed

This doesn't work anymore on 8.1

Related to fa9e2b3

PHP is only set when building php-src, but not for extension

PHP Version

PHP 8.1

Operating System

Linux