#!/usr/bin/env php "/releases/" . str_replace(".", "_", $version) . ".php"); } $OLDRELEASES[$major] = array_merge( array($version => $info), $OLDRELEASES[$major] ?? [] ); file_put_contents(__DIR__ . "/../include/releases.inc", [ "