PHP version detection fix.

bash/portal/install.sh

@@ -239,6 +239,7 @@ fi
 # Detect the OS distribution and version.
 DISTRO_ID=`. /etc/os-release; echo ${ID/*, /}`
 DISTRO_RELEASE=`. /etc/os-release; echo ${VERSION_ID/*, /}`
+DISTRO_PHP_VERSION="5"
 
 case $DISTRO_ID in
     debian|raspbian)
@@ -247,9 +248,6 @@ case $DISTRO_ID in
     ubuntu)
         if [[ $DISTRO_RELEASE -ge "16.04" ]]; then DISTRO_PHP_VERSION="7.0"; fi
         ;;
-    *)
-        DISTRO_PHP_VERSION="5"
-        ;;
 esac
 
 # Install PHP.