The mysql_* functions are deprecated per PHP 5.5; let's switch to mysqli_*. Needs testing!