From 32134ef1ac316b425f4f091feb7734343ee4ff81 Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Sat, 1 Aug 2020 16:06:05 +0100 Subject: [PATCH] make-release: remove extra newline --- build/make-release.php | 1 - 1 file changed, 1 deletion(-) diff --git a/build/make-release.php b/build/make-release.php index 4ee5ec590..98f103dee 100644 --- a/build/make-release.php +++ b/build/make-release.php @@ -38,7 +38,6 @@ use const STDIN; require_once dirname(__DIR__) . '/vendor/autoload.php'; - function replaceVersion(string $versionInfoPath, string $newVersion, bool $isDev) : void{ $versionInfo = file_get_contents($versionInfoPath); $versionInfo = preg_replace(