Support editors when php.ini not available (#543) #1125

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
PHP8.2	9s
PHP8.1	16s
PHP8	9s
PHP7.4	14s
PHP7.3	17s
PHP7.2	16s
PHP7.1	12s
	1m 33s