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