Codice PHP:
if (eval('<?php echo ViewArt("magazzino"); ?>') < 1)
Un codice come questo non ti andava a genio?

Codice PHP:
if (ViewArt("magazzino") < 1) {
  
// ...