php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

Derive version and release date without global vars

Browse Source
This commit is contained in:
Sara Golemon
2019-07-09 09:41:54 -04:00
parent 563ed6e547
commit aa1a61c557
1 changed files with 30 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

35
bin/bumpRelease
View File

@@ -15,17 +15,42 @@ isset($RELEASES[$major]) or die("Unkown major version $major");
if (isset($_SERVER['argv'][2])) {
$minor = intval($_SERVER['argv'][2]);
$version_varname = "PHP_{$major}_{$minor}_VERSION";
isset($$version_varname) or die("Unknown minor version $major.$minor");
$version = $$version_varname;
$info = $RELEASES[$major][$version];
$version_prefix = "{$major}.{$minor}.";
foreach ($RELEASES[$major] as $version => $info) {
if (strncmp($version, $version_prefix, strlen($version_prefix)) == 0) {
// Bleed $version and $info into outer scope.
break;
}
}
if (strncmp($version, $version_prefix, strlen($version_prefix))) {
fwrite(STDERR, "Unknown minor version $major.$minor\n");
exit(1);
}
} else {
// Calling without a minor will just grab the most recent minor.
$version = key($RELEASES[$major]);
$info = current($RELEASES[$major]);
}
$info["date"] = ${"PHP_{$major}_DATE"};
if (!isset($info['date'])) {
// Derive date from source dates.
$info['date'] = null;
foreach ($info['source'] as $source) {
if ($info['date'] === null) {
$info['date'] = $source['date'];
continue;
}
if ($info['date'] !== $source['date']) {
fwrite(STDERR, "Release has multiple differing dates in sources list. Unable to pick one.\n");
exit(1);
}
}
if ($info['date'] === null) {
fwrite(STDERR, "Unable to determine release date.\n");
exit(1);
}
}
$info["museum"] = false;
if (is_bool($info["announcement"]) && $info["announcement"]) {
$info["announcement"] = array("English" => "/releases/" . str_replace(".", "_", $version) . ".php");