File tree Expand file tree Collapse file tree 18 files changed +18
-18
lines changed Expand file tree Collapse file tree 18 files changed +18
-18
lines changed Original file line number Diff line number Diff line change 44# Check if an extension is available
55extension_available () {
66 local ext=$1
7- if [ -f " /usr/local/lib/php/extensions/no-debug-non-zts- $( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
7+ if [ -f " /usr/local/lib/php/extensions/$( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
88 return 0
99 fi
1010 return 1
Original file line number Diff line number Diff line change 44# Check if an extension is available
55extension_available () {
66 local ext=$1
7- if [ -f " /usr/local/lib/php/extensions/no-debug-non-zts- $( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
7+ if [ -f " /usr/local/lib/php/extensions/$( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
88 return 0
99 fi
1010 return 1
Original file line number Diff line number Diff line change 44# Check if an extension is available
55extension_available () {
66 local ext=$1
7- if [ -f " /usr/local/lib/php/extensions/no-debug-non-zts- $( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
7+ if [ -f " /usr/local/lib/php/extensions/$( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
88 return 0
99 fi
1010 return 1
Original file line number Diff line number Diff line change 44# Check if an extension is available
55extension_available () {
66 local ext=$1
7- if [ -f " /usr/local/lib/php/extensions/no-debug-non-zts- $( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
7+ if [ -f " /usr/local/lib/php/extensions/$( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
88 return 0
99 fi
1010 return 1
Original file line number Diff line number Diff line change 44# Check if an extension is available
55extension_available () {
66 local ext=$1
7- if [ -f " /usr/local/lib/php/extensions/no-debug-non-zts- $( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
7+ if [ -f " /usr/local/lib/php/extensions/$( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
88 return 0
99 fi
1010 return 1
Original file line number Diff line number Diff line change 44# Check if an extension is available
55extension_available () {
66 local ext=$1
7- if [ -f " /usr/local/lib/php/extensions/no-debug-non-zts- $( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
7+ if [ -f " /usr/local/lib/php/extensions/$( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
88 return 0
99 fi
1010 return 1
Original file line number Diff line number Diff line change 44# Check if an extension is available
55extension_available () {
66 local ext=$1
7- if [ -f " /usr/local/lib/php/extensions/no-debug-non-zts- $( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
7+ if [ -f " /usr/local/lib/php/extensions/$( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
88 return 0
99 fi
1010 return 1
Original file line number Diff line number Diff line change 44# Check if an extension is available
55extension_available () {
66 local ext=$1
7- if [ -f " /usr/local/lib/php/extensions/no-debug-non-zts- $( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
7+ if [ -f " /usr/local/lib/php/extensions/$( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
88 return 0
99 fi
1010 return 1
Original file line number Diff line number Diff line change 44# Check if an extension is available
55extension_available () {
66 local ext=$1
7- if [ -f " /usr/local/lib/php/extensions/no-debug-non-zts- $( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
7+ if [ -f " /usr/local/lib/php/extensions/$( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
88 return 0
99 fi
1010 return 1
Original file line number Diff line number Diff line change 44# Check if an extension is available
55extension_available () {
66 local ext=$1
7- if [ -f " /usr/local/lib/php/extensions/no-debug-non-zts- $( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
7+ if [ -f " /usr/local/lib/php/extensions/$( php -r ' echo PHP_EXTENSION_DIR;' | xargs basename) /${ext} .so" ]; then
88 return 0
99 fi
1010 return 1
You can’t perform that action at this time.
0 commit comments