Telling git to ignore server.php