Filename: ///usr//share//bug/php7.4-json//script

#!/bin/sh MATCH="^[[:space:]]*($|;)" echo "==== Additional PHP 7.4 information ====" >&3 echo "" >&3 echo "++++ PHP @PHP_VERSION SAPI (php7.4query -S): ++++" >&3 /usr/sbin/php7.4query -S >&3 echo "" >&3 echo "++++ PHP 7.4 Extensions (php7.4query -M -v): ++++" >&3 /usr/sbin/php7.4query -M -v >&3 echo "" >&3 echo "++++ Configuration files: ++++" >&3 for dsoname in json; do inifile=${dsoname}.ini echo "**** /etc/php/7.4/mods-available/$dsoname.ini ****" >&3 grep -Ev "$MATCH" "/etc/php/7.4/mods-available/$dsoname.ini" >&3 echo "" >&3 done

./Ninja\.