Generated arginfo header files: use known strings for prop names when…#15751

kocsismate merged 6 commits intophp:masterphp/php-src:masterfrom

DanielEScherzer:known-stringsDanielEScherzer/php-src:known-stringsCopy head branch name to clipboard