D7net
Home
Console
Upload
information
Create File
Create Folder
About
Tools
blackhat.pw
:
/
usr
/
share
/
bug
/
php7.2-gmp
/
Filename :
script
back
Copy
#!/bin/sh MATCH="^[[:space:]]*($|;)" echo "==== Additional PHP 7.2 information ====" >&3 echo "" >&3 echo "++++ PHP @PHP_VERSION SAPI (php7.2query -S): ++++" >&3 /usr/sbin/php7.2query -S >&3 echo "" >&3 echo "++++ PHP 7.2 Extensions (php7.2query -M -v): ++++" >&3 /usr/sbin/php7.2query -M -v >&3 echo "" >&3 echo "++++ Configuration files: ++++" >&3 for dsoname in gmp; do inifile=${dsoname}.ini echo "**** /etc/php/7.2/mods-available/$dsoname.ini ****" >&3 grep -Ev "$MATCH" "/etc/php/7.2/mods-available/$dsoname.ini" >&3 echo "" >&3 done