diff options
| author | J0WI <J0WI@users.noreply.github.com> | 2022-10-19 14:58:40 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-19 14:58:40 +0000 |
| commit | ea1360defa03565836159f18c4039060c427ff31 (patch) | |
| tree | 0d0af5726d9275385b2c7c8fa7aa1c0c522fc186 /update.sh | |
| parent | 20327851c8d9f7b40606844dfdccef5ee2230355 (diff) | |
PHP 8.1 (#1841)
Signed-off-by: J0WI <J0WI@users.noreply.github.com>
Signed-off-by: J0WI <J0WI@users.noreply.github.com>
Diffstat (limited to 'update.sh')
| -rwxr-xr-x | update.sh | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -2,7 +2,9 @@ set -eo pipefail declare -A php_version=( - [default]='8.0' + [23]='8.0' + [24]='8.0' + [default]='8.1' ) declare -A cmd=( |