shivammathur / setup-php GitHub action to set up PHP with extensions, php.ini configuration, coverage drivers, and various tools.