[phpMyAdmin Git] [phpmyadmin/website] 833359: Add support for PHP 7.3 in phpMyAdmin 4.9