this commit is a lie

data/championships-to-json.php

@@ -0,0 +1,65 @@
+<?php
+
+// much faster than file()
+$lines = explode(
+  "\n",
+  str_replace(
+    ["\r\n", "\r"],
+    "\n",
+    file_get_contents('championships.txt')
+  )
+); 
+
+$location = "Unknown";
+$championships_by_time = [];
+
+// get the data into a per-event format
+foreach ($lines as $line) {
+  $line = trim($line);
+  if (empty($line)) continue;
+
+  if (str_contains($line, ":")) {
+    $day_and_times = explode(": ", $line);
+    $day = trim($day_and_times[0]);
+    foreach (explode(",", trim($day_and_times[1])) as $time) {
+      $championships_by_time[] = [$day, trim($time), $location];
+    }
+  }
+  else {
+    $location = str_replace(["The ", " Championship"], "", $line);
+  }
+}
+
+// native JS expects dates in this format
+$days = [
+  'Monday'    => 1, 
+  'Tuesday'   => 2,
+  'Wednesday' => 3,
+  'Thursday'  => 4,
+  'Friday'    => 5,
+  'Saturday'  => 6,
+  'Sunday'    => 0,
+];
+
+$championships_by_days = [];
+
+foreach ($championships_by_time as $championship) {
+  [$day_raw, $time_raw, $location] = $championship;
+
+  $day = $days[$day_raw];
+
+  $time_components = explode(':', $time_raw);
+  $time = 60*intval($time_components[0]) + intval($time_components[1]);
+
+  if (!isset($championships_by_days[$day])) {
+    $championships_by_days[$day] = [];
+  }
+
+  $championships_by_days[$day][$time] = $location;
+}
+
+// optional, but it's compile time so sorting doesn't really hurt performance
+foreach ($championships_by_days as $key => $_value) { ksort($championships_by_days[$key]); }
+
+$json = json_encode($championships_by_days, JSON_PRETTY_PRINT) . "\n";
+file_put_contents("championships.json", $json);