prova a mettere dopo

if($_SERVER['HTTP_USER_AGENT']!= $http_agent_valido){
die('Non collegato');
}

Codice PHP:
$codart $_GET['codart']; 
che magari nella versione che usavi di php usavi la conversione in automatico da $_GET a variabili