websites: actualize php-cgi version

www.videolan.org/bin/php-cgi.sh

 #!/bin/sh
+set -x
 #
 # Script to call the PHP Hypertext Processor as a CGI script
 #  -- Courmisch 21/10/2004
@@ -6,8 +7,8 @@
 # $Id: phpcgi.sh 1960 2004-11-01 16:52:30Z dionoea $
 
 # It won't work if you call the PHP CLI usually in /usr/bin or /usr/local/bin
-if [ -x /usr/lib/cgi-bin/php5 ]; then
-    PHP=/usr/lib/cgi-bin/php5
+if [ -x /usr/lib/cgi-bin/php7 ]; then
+    PHP=/usr/lib/cgi-bin/php7
 else
     PHP=/usr/bin/php-cgi
 fi
@@ -24,7 +25,7 @@ export PATH_INFO=`echo "$1" | cut -d '?' -f1`
 
 export PATH_TRANSLATED="${2}${PATH_INFO}"
 
-export SCRIPT_FILENAME="/cgi-bin/php5"
+export SCRIPT_FILENAME="/cgi-bin/php7"
 export QUERY_STRING=`echo "$1" | cut -d '?' -f2`
 export REMOTE_HOST="localhost"
 export REMOTE_ADDR="127.0.0.1"