Merge remote-tracking branch 'upstream/master'

* upstream/master: (161 commits)
  Prepare version 3.0.0.
  Update tests, and prefer `empty` to `blank`.
  Oops, need this too.
  Unconditionally enable new form of field:none search.
  Introduce new mode for review search.
  PaperSearch::sorted_paper_ids() obeys THEN searches as well as sort.
  Remove obsolete assertions.
  Types.
  Field highlighters and explicit limits are handled via floats.
  Introduce group_slice_terms; use to improve highlighting.
  Prepare THEN searches a different way.
  Fix highlight list computation for nested searches.
  Add failing test for nested HIGHLIGHT.
  Strip `show:` terms by reparsing.
  Fix string-context bug exposted by previous test.
  Add failing named search test concerning string contexts.
  Add .color-red.
  Fix text vs. HTML in override_deadlines.
  Maybe dewarn.
  Don't pluralize nouns ending in o.
  ...

.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