We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 89eba26 commit 329c927Copy full SHA for 329c927
scripts/extensions.sh
@@ -94,12 +94,16 @@ ENABLED_EXTENSIONS=$(php -m | tr '[:upper:]' '[:lower:]' | egrep -v '^[\[]' | gr
94
EXTENSIONS_TO_INSTALL=()
95
96
add_extension_to_install() {
97
- local extension=$1
+ local EXTENSION=$1
98
99
# Prevent duplicates
100
- if [[ ! " ${EXTENSIONS_TO_INSTALL[@]} " =~ " ${extension} " ]]; then
101
- EXTENSIONS_TO_INSTALL+=("${extension}")
102
- fi
+ for TO_BE_INSTALLED in "${EXTENSIONS_TO_INSTALL[@]}"; do
+ if [[ "${TO_BE_INSTALLED}" == "${EXTENSION}" ]]; then
+ return
103
+ fi
104
+ done
105
+
106
+ EXTENSIONS_TO_INSTALL+=("${EXTENSION}")
107
}
108
109
# Loop through known statically compiled/installed extensions, and enable them.
0 commit comments