deployment.php: typo - bad indent (spaces => tab)