Adding PHP 8.0 by Remi to NethServer 7.9

diff.sh

#!/bin/bash

for VER in php54 php72 php73 php80; do 
  curl -H "Host: $VER.dp.nethserver.net" http://127.0.0.1/info.php > $VER.out
  diff -u $OLD.out $VER.out > $OLD-$VER.diff
  OLD=$VER
done

info.php

<?php

echo "php " . phpversion();

$ext_list = get_loaded_extensions();
sort($ext_list);

echo implode("\n", $ext_list);
echo "\n";

php54-php72.diff

--- php54.out   2020-12-17 10:45:58.354201435 +0000
+++ php72.out   2020-12-17 10:45:58.365201441 +0000
@@ -1,34 +1,53 @@
-php 5.4.16Core
+php 7.2.24Core
+PDO
 Phar
 Reflection
 SPL
 SimpleXML
-apache2handler
+Zend OPcache
+apcu
+bcmath
 bz2
 calendar
+cgi-fcgi
 ctype
 curl
 date
 dom
-ereg
+enchant
 exif
 fileinfo
 filter
 ftp
+gd
 gettext
-gmp
 hash
 iconv
+imap
 intl
 json
+ldap
 libxml
-mhash
+mbstring
+mysqli
+mysqlnd
 openssl
 pcre
+pdo_mysql
+pdo_pgsql
+pdo_sqlite
+pgsql
+posix
 session
 shmop
+soap
 sockets
+sqlite3
 standard
+sysvmsg
+sysvsem
+sysvshm
+tidy
 tokenizer
 wddx
 xml

php72-php73.diff

--- php72.out   2020-12-17 10:45:58.365201441 +0000
+++ php73.out   2020-12-17 10:45:58.376201447 +0000
@@ -1,4 +1,4 @@
-php 7.2.24Core
+php 7.3.20Core
 PDO
 Phar
 Reflection

php73-php80.diff

--- php73.out   2020-12-17 10:45:58.376201447 +0000
+++ php80.out   2020-12-17 10:45:58.386201453 +0000
@@ -1,4 +1,4 @@
-php 7.3.20Core
+php 8.0.0Core
 PDO
 Phar
 Reflection
@@ -49,7 +49,6 @@
 sysvshm
 tidy
 tokenizer
-wddx
 xml
 xmlreader
 xmlwriter