Delete syntax.php