setup-php/dist
2023-07-29 19:48:28 -04:00
..
index.js Only use config.platform.php, as it's guaranteed to be the required version of PHP 2023-07-29 19:48:28 -04:00