Add comments on aligning used php version

2026-03-17 17:57:23 +01:00 · 2025-02-27 11:12:49 +01:00
parent 0a4599956c
commit 5c02ea3752
3 changed files with 4 additions and 0 deletions
--- a/setup/functions.sh
+++ b/setup/functions.sh
@@ -5,6 +5,7 @@
 # -o pipefail: don't ignore errors in the non-last command in a pipeline
 set -euo pipefail

+# To modify PHP version, also update method get_php_version() in utils.py
 PHP_VER=8.1

 function hide_output {