set-version.php - Update civicrm-version.php (if applicable)

Currently, this file is produced by GenCode, so it's not critical to update it via `set-version.php`. However, it's
a bit easier to test the process if this file is kept up-to-date.

In the near future, this file may be reworked to read from the canonical
source.  However, the search/replace should still be safe then.

diff --git a/tools/bin/scripts/set-version.php b/tools/bin/scripts/set-version.php
index 8cde6c636de8c7f67c134ed1ca91160b37daa7f1..e20f4a7fa96b016ac9b11c4c096729f01e3222a3 100755 (executable)
--- a/tools/bin/scripts/set-version.php
+++ b/tools/bin/scripts/set-version.php
@@ -61,6 +61,10 @@ updateFile("xml/version.xml", function ($content) use ($newVersion, $oldVersion)
   return str_replace($oldVersion, $newVersion, $content);
 });
 
+updateFile("civicrm-version.php", function ($content) use ($newVersion, $oldVersion) {
+  return str_replace($oldVersion, $newVersion, $content);
+});
+
 updateFile("sql/civicrm_generated.mysql", function ($content) use ($newVersion, $oldVersion) {
   return str_replace($oldVersion, $newVersion, $content);
 });