Fix to work with PHP 7
Replace the use of mysql_* functions, which are no longer present in PHP 7, with the mysqli extension.
Authored by: benwebb 2018-10-27
Parent: [r1055]
Child: [r1057]