Skip to content
Snippets Groups Projects

Merging develop into main

Merged jurgenhaas requested to merge develop into main
2 files
+ 2
2
Compare changes
  • Side-by-side
  • Inline
Files
2
+ 1
1
@@ -4,7 +4,7 @@ function getConfig() {
if [[ ! -n ${PHP_VERSION} ]]; then
while true; do
DEFAULT=8.1
read -p "WhIich PHP version is your project using [7.4, 8.0, 8.1, 8.2]? " VALUE
read -p "Which PHP version is your project using [7.4, 8.0, 8.1, 8.2]? " VALUE
if [[ "x$VALUE" == "x" ]]; then
PHP_VERSION=$DEFAULT
else
Loading