Merge branch 'master' into hotcrp_program_app

ubc · Mar 26, 2024 · 5faacb9 · 5faacb9
2 parents a7c0e8f + c4d0090
commit 5faacb9
Show file tree

Hide file tree

Showing 207 changed files with 7,426 additions and 4,313 deletions.
diff --git a/.phan/config.php b/.phan/config.php
@@ -26,8 +26,8 @@
  */
 return (function () {
 $config = [
-    "minimum_target_php_version" => "7.0",
-    "target_php_version" => "8.2",
+    "minimum_target_php_version" => "7.2",
+    "target_php_version" => "8.3",
 
     // If true, missing properties will be created when
     // they are first seen. If false, we'll report an