gen_stub: Update the arginfo file timestamp when generation is skipped#20891

thg2k wants to merge 1 commit intophp:PHP-8.4php/php-src:PHP-8.4from

thg2k:pr/stub_touchthg2k/php-src:pr/stub_touchCopy head branch name to clipboard