Ver original<input type="button" name="foo" value="<?php echo htmlspecialchars($valor, ENT_QUOTES); ?>" />