Fix support for phalcon and gearman

2020-05-12 19:32:07 +05:30
parent 5c2618165a
commit 0135ee2ed1
4 changed files with 14 additions and 10 deletions
@@ -36,7 +36,7 @@ tick="✓"
 cross="✗"

 if [ "$extension_major_version" = "4" ]; then
-  if [ -e "$ext_dir/psr.so" ]; then
+  if [ -e "$ext_dir/psr.so" ] && ! php -m | grep -i -q -w psr; then
    echo "extension=psr.so" | sudo tee -a "$ini_file" >/dev/null 2>&1
  fi