GitHub action to set up PHP with extensions, php.ini configuration, coverage drivers, and various tools. Created by shivammathur on Sep 05, 2019.