mirror of
https://github.com/shivammathur/setup-php.git
synced 2025-08-22 13:34:11 +07:00
Fix db extensions
This commit is contained in:
@ -51,7 +51,11 @@ get_pecl_version() {
|
||||
# Function to test if extension is loaded
|
||||
check_extension() {
|
||||
extension=$1
|
||||
php -m | grep -i -q -w "$extension"
|
||||
if [ "$extension" != "mysql" ]; then
|
||||
php -m | grep -i -q -w "$extension"
|
||||
else
|
||||
php -m | grep -i -q "$extension"
|
||||
fi
|
||||
}
|
||||
|
||||
# Function to delete extensions
|
||||
|
Reference in New Issue
Block a user