Mi sono dimenticato di dire che session_start() è all'inizio del file index.php
Non è quello il problema.

Ho già visuonato il sito in passato, ma non mi è stato utile in tal senso.

Grazie della risposta, comunque.