ecco il codice php. Ho provato a modificarlo per renderlo più simile all'esempio del manuale PHP

$code = $riga1["codice"];
eval('\$code = \'$code\';');
print($code);

però non funziona comunque