Upgrade to 7.3 (2020-05-16)

Problems

1. php7.3-mysql didn't got installed (PDO is not load, MYSQL_ATTR_INIT_COMMAND)
2. mysql table problem, just restart it (with a mysql_upgrade)
3. PHP Warning for incompatible definition (extends)