setup-phpGitHub action to set up PHP with extensions, php.ini configuration, coverage drivers, and various tools.ATK3290DEF3778