From 7aa8a787b3084b0fb56985f2c346c0f3c6c07941 Mon Sep 17 00:00:00 2001 From: kenjis Date: Sun, 24 Dec 2023 13:45:26 +0900 Subject: [PATCH] chore: add code to update version number in "phpdoc.dist.xml" --- admin/RELEASE.md | 2 ++ admin/prepare-release.php | 12 ++++++++++++ 2 files changed, 14 insertions(+) diff --git a/admin/RELEASE.md b/admin/RELEASE.md index 731527de0ed7..8d68ccd9923a 100644 --- a/admin/RELEASE.md +++ b/admin/RELEASE.md @@ -90,6 +90,8 @@ Work off direct clones of the repos so the release branches persist for a time. and `release = '4.x.x'` * Update **user_guide_src/source/changelogs/{version}.rst** * Set the date to format `Release Date: January 31, 2021` + * Update **phpdoc.dist.xml** with the new `CodeIgniter v4.x API` + and `` * Commit the changes with `Prep for 4.x.x release` * [ ] Create a new PR from `release-4.x.x` to `develop`: * Title: `Prep for 4.x.x release` diff --git a/admin/prepare-release.php b/admin/prepare-release.php index 1b173a0f75d6..aebc1ea98c06 100644 --- a/admin/prepare-release.php +++ b/admin/prepare-release.php @@ -48,6 +48,18 @@ function replace_file_content(string $path, string $pattern, string $replace): v "release = '{$version}'" ); +// Updates version number in "phpdoc.dist.xml". +replace_file_content( + './phpdoc.dist.xml', + '!CodeIgniter v.*? API!mu', + "CodeIgniter v{$minor} API" +); +replace_file_content( + './phpdoc.dist.xml', + '//mu', + "" +); + // Updates release date in changelogs. $date = date('F j, Y'); replace_file_content(