<commit_before><!DOCTYPE html>
<meta charset="utf-8">
<head>
  <meta http-equiv="X-UA-Compatible" content="IE=edge">
  <meta content="width=device-width, initial-scale=1, maximum-scale=1, user-scalable=no" name="viewport">
  <link rel="stylesheet" href="../bootstrap/css/bootstrap.min.css">

  <link rel="stylesheet" href="../css/homeMenu.css">
  <link rel="stylesheet" type="text/css" href="../css/table.css">

  <script src="../plugins/jQuery/jquery-3.1.0.min.js"></script>
  <script src="../bootstrap/js/bootstrap.min.js"></script>
  <script src="../plugins/chartjs/Chart.min.js"></script>

</head>
<body>

<?php
  session_start();
  if (!isset($_SESSION['userid'])) {
    die('Please <a href="login.php">login</a> first.');
  }

  $userID = $_SESSION['userid'];

  require "connection.php";
  require "createTimestamps.php";
  require "language.php";

  require 'Calculators/MonthlyCalculator.php';
  require 'Calculators/YearlyCalculator.php';

  $currentTimeStamp = getCurrentTimestamp();

  $currentYear = substr($currentTimeStamp, 0, 4);
  $currentMonth = substr($currentTimeStamp, 5, 2);
?>

<h1><?php echo $lang['VIEW_TIMESTAMPS']; ?></h1>

<br><br>
<commit_msg>user interface+<commit_after><!DOCTYPE html>
<meta charset="utf-8">
<head>
  <meta http-equiv="X-UA-Compatible" content="IE=edge">
  <meta content="width=device-width, initial-scale=1, maximum-scale=1, user-scalable=no" name="viewport">
  <link rel="stylesheet" href="../bootstrap/css/bootstrap.min.css">

  <link rel="stylesheet" href="../css/homeMenu.css">
  <link rel="stylesheet" type="text/css" href="../css/table.css">
  <link rel="stylesheet" type=text/css href = "../css/submitButt.css" >

  <script src="../plugins/jQuery/jquery-3.1.0.min.js"></script>
  <script src="../bootstrap/js/bootstrap.min.js"></script>
  <script src="../plugins/chartjs/Chart.min.js"></script>

</head>
<body>

<?php
  session_start();
  if (!isset($_SESSION['userid'])) {
    die('Please <a href="login.php">login</a> first.');
  }

  $userID = $_SESSION['userid'];

  require "connection.php";
  require "createTimestamps.php";
  require "language.php";

  require 'Calculators/MonthlyCalculator.php';
  require 'Calculators/YearlyCalculator.php';

  $currentTimeStamp = getCurrentTimestamp();
  $currentYear = substr($currentTimeStamp, 0, 4);
  $currentMonth = substr($currentTimeStamp, 5, 2);
?>

<h1><?php echo $lang['VIEW_TIMESTAMPS']; ?></h1>

<form method=post>
<select name='filteredMonth'>
<?php
  if (isset($_POST['applyFilter'])) {
    $currentMonth = sprintf("%02d", $_POST['filteredMonth']);
  }

  for($i = 1; $i < 13; $i++) {
    if ($i == $currentMonth) {
      $selected = 'selected';
    } else {
      $selected= '';
    }
    $dateObj = DateTime::createFromFormat('!m', $i);
    $option = $dateObj->format('F');
    echo "<option $selected name=filterUserID value=$i>$option</option>";
  }


  $currentTimeStamp = $currentYear . '-' . $currentMonth . '-01 05:00:00';
?>
</select>

<input type="submit" class="button" name="applyFilter" value="Apply" />
</form>

<br><br>

{'fraction_non_alphanumeric': 0.21384060347654968, 'fraction_numerical': 0.012135126270908495, 'mean_word_length': 4.690298507462686, 'pattern_counts': {'":': 0, '<': 61, '<?xml version=': 0, '>': 61, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2604004', 'n_tokens_mistral': 1092, 'n_tokens_neox': 1052, 'n_words': 184}