src

<!DOCTYPE html>
<html>
<head>
  <meta charset="UTF-8">
  <title>HackFest - WEB200</title>
  <link rel='stylesheet' href='css/jquery-ui.css'>
  <link rel="stylesheet" href="css/style.css">
</head>
<body>
    <?php if (isset($_POST['user']) && isset($_POST['login'])){
        require_once 'func.php'; // http://192.168.1.251/web200/func.txt
        include 'config.php';
        $hashed_input = digest(custom_crc($_POST['pass']));
        if ($_POST['user'] === 'admin' && $hashed_input === "bae0eda7") {
                showFlag();
        } else {
            wrong();
        }
    } ?>
  <div class="login-card">
    <h1>Log-in</h1><br>
  <form method="post">
    <input type="text" name="user" placeholder="Username">
    <input type="password" name="pass" placeholder="Password">
    <input type="submit" name="login" class="login login-submit" value="login">
      <a href="?show_source" title="">Show source</a>
  </form>
</div>
<?php if (isset($_GET['show_source'])) { ?>
    <div class="source">
    <?php show_source(__FILE__) ?>
    </div>
<?php } ?>
  <script src='js/jquery_and_jqueryui.js'></script>
</body>
</html>