Skip to content
Snippets Groups Projects

Merge for new minor release

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