[web-php] master: Add spaceship shortcut

Author: Rasmus Lerdorf (rlerdorf) Date: 2021-08-02T11:19:09-07:00 Commit: https://github.com/php/web-php/commit/235089720fc08c7c3b2e1c02eaf53ade3e8fa172 Raw diff: https://github.com/php/web-php/commit/235089720fc08c7c3b2e1c02eaf53ade3e8fa172.diff Add spaceship shortcut Changed paths: M include/errors.inc Diff: diff --git a/include/errors.inc b/include/errors.inc index b321a8df9..bfdada333 100644 --- a/include/errors.inc +++ b/include/errors.inc @@ -383,6 +383,8 @@ function is_known_variable(string $variable): ?string { function is_known_term (string $term): ?string { $terms = [ '<>' => 'language.operators.comparison.php', + '<=>' => 'language.operators.comparison.php', + 'spaceship' => 'language.operators.comparison.php', '==' => 'language.operators.comparison.php', '===' => 'language.operators.comparison.php', '@' => 'language.operators.errorcontrol.php',