if(isset($_POST['username']) and isset($_POST['password'])) {
    $username = $_POST['username'];
    $password = $_POST['password'];

    echo $username;
    echo $password;

    $serverName="csmysql.cs.cf.ac.uk";
    $userName="c1623580";
    $password="Holiday01";
    $database="c1623580";

    $loginQuery = "SELECT * FROM Login WHERE username='$username' and password='$password'";

    $connect = mysqli_connect($serverName,$userName,$password,$database);

    $result = mysqli_query($connect,$loginQuery);

    $invalidLogin = "";


    $count = mysqli_num_rows($result);

    echo $count;

    if($count == 1) {
      $_SESSION['user'] = $username; ?>
      <script type="text/javascript">
      window.location.replace("editdata.php");
      </script>
      <?php
    }
    else {
      $invalidLogin = "Invalid login details";
    }
  }