Remove PHP version detection

docker/debian9/run.sh

@@ -1,7 +1,6 @@
 #!/bin/bash
-PHP=$(php -r 'echo explode("-",phpversion())[0];')
 echo "================================================"
-echo " Debian 9 (PHP $PHP)"
+echo " Debian 9 (PHP 7.0)"
 echo "================================================"
 
 echo -n "[1/4] Starting MariaDB 10.1 ..... "

docker/ubuntu16/run.sh

@@ -1,7 +1,6 @@
 #!/bin/bash
-PHP=$(php -r 'echo explode("-",phpversion())[0];')
 echo "================================================"
-echo " Ubuntu 16.04 (PHP $PHP)"
+echo " Ubuntu 16.04 (PHP 7.0)"
 echo "================================================"
 
 echo -n "[1/4] Starting MariaDB 10.0 ..... "

docker/ubuntu18/run.sh

@@ -1,7 +1,6 @@
 #!/bin/bash
-PHP=$(php -r 'echo explode("-",phpversion())[0];')
 echo "================================================"
-echo " Ubuntu 18.04 (PHP $PHP)"
+echo " Ubuntu 18.04 (PHP 7.2)"
 echo "================================================"
 
 echo -n "[1/4] Starting MySQL 5.7 ........ "