Ho aggiunto il codice che mi hai detto all'inizio, ma come puoi vedere dall'output, file_get_contents ritorna false.
Il fatto che ci sia altro codice dopo non fa nessuna differenza.
Il seguente codice invece funziona:
Codice PHP:
$ch = curl_init($url);
curl_setopt($ch, CURLOPT_RETURNTRANSFER, true);
curl_setopt($ch, CURLOPT_SSL_VERIFYPEER, false); # !!!!!!!!!!!
$result = curl_exec($ch);
Ho aggiunto anche questo alla pagina di test. Lascio l'highlight_file così puoi vedere qual'è effettivamente il codice eseguito.