Fix release json, we should use php-releases.json