Answer from the host if anyone else has this problem:
<?php
date_default_timezone_set("Europe/Madrid");
$servername = "127.0.0.1:3307";
$username = "testuser-ai2";
$password = "testuser-ai2";
$database = "test-ai2";
$dbc = mysqli_connect($servername, $username, $password, $database);
if (!$dbc) {
Frank