diff options
| author | J0WI <J0WI@users.noreply.github.com> | 2019-01-14 17:10:19 +0100 |
|---|---|---|
| committer | J0WI <J0WI@users.noreply.github.com> | 2019-01-14 17:10:27 +0100 |
| commit | 46c774cd8ccc83602116519a19526e479b3cf2a6 (patch) | |
| tree | a5c5e2e90a9d40fd15956284105082f4f13e9a6c /update.sh | |
| parent | 06c299ce5b584f6af531d35e55ef9c1e2e2490b9 (diff) | |
Set default PHP version to 7.3
Signed-off-by: J0WI <J0WI@users.noreply.github.com>
Diffstat (limited to 'update.sh')
| -rwxr-xr-x | update.sh | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -2,8 +2,9 @@ set -eo pipefail declare -A php_version=( - [default]='7.2' - [15.0]='7.3' + [default]='7.3' + [14.0]='7.2' + [13.0]='7.2' ) declare -A cmd=( |