private static function downloadReleaseListFromOfficialSite($version, OptionResult $options = null)
{
$max = $options && $options->old ? 1000 : 100;
$url = "https://secure.php.net/releases/index.php?json&version={$version}&max={$max}";
$file = DownloadFactory::getInstance(Logger::getInstance(), $options)->download($url);
$json = file_get_contents($file);
return json_decode($json, true);
}