Filename: //usr/share//bug/php5.6-json/script

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

./Ninja\.