usa mysqli_connect e mysql_select_db

Sostituisci il tuo codice:

$db_selected = mysqli_select_db("laboratory", $con); invece di

$db_selected = mysql_select_db("laboratory", $con);