[web-php] master: Handle ?:, ??, and ??= in index.php

Author: Sara Golemon (sgolemon) Date: 2021-05-20T15:04:25Z Commit: https://github.com/php/web-php/commit/bfb30b5a2d1dba6ae498283ec8b67902154d1afd Raw diff: https://github.com/php/web-php/commit/bfb30b5a2d1dba6ae498283ec8b67902154d1afd.diff Handle ?:, ??, and ??= in index.php Changed paths: M error.php M index.php Diff: diff --git a/error.php b/error.php index 394c83267..ec996f520 100644 --- a/error.php +++ b/error.php @@ -319,9 +319,10 @@ "splat" => "functions.arguments", "arrow" => "functions.arrow", "fn" => "functions.arrow", - "?:" => "language.operators.comparison", - "??" => "language.operators.comparison", - "??=" => "language.operators.assignment", + // ?:, ??, ??= + // These shortcuts can not be captured here since they + // don't actually produce a 404 error. + // Instead, we have a small check in index.php directly. "dowhile" => "control-structures.do.while", diff --git a/index.php b/index.php index ad1977842..84dd7e3d3 100644 --- a/index.php +++ b/index.php @@ -1,4 +1,17 @@ <?php // vim: et +(function($uri) { + // Special redirect cases not able to be captured in error.php + $shortcuts = [ + '/?:' => '/language.operators.comparison#language.operators.comparison.ternary', + '/??' => '/language.operators.comparison#language.operators.comparison.coalesce', + '/??=' => '/language.operators.assignment#language.operators.assignment.other', + ]; + if (isset($shortcuts[$uri])) { + header("Location: {$shortcuts[$uri]}"); + exit; + } +})($_SERVER['REQUEST_URI'] ?? ''); + // Get the modification date of this PHP file $timestamps = array(@getlastmod());