PHP Update – keyword match

Hallo!

Ich arbeite aktuell an der Umstellung unserer Umgebung auf PHP 8.3 von 7.4 und teste dabei u. a. WooCommerce Germanized Pro. Beim Blick in den Code ist mir aufgefallen, dass in einer Datei (Parser.php) eine Methode mit dem Namen match existiert, also etwa so:

private function match(int $token): void { ... }

Da match ja seit PHP 8 ein reserviertes Keyword ist, wollte ich vorsichtshalber einmal nachfragen, ob das eurerseits schon Thema war bzw. ob es dazu vielleicht ein Update oder eine geplante Anpassung gibt.

In meinen Tests läuft bisher alles stabil, ich bin aber unsicher, ob es bei bestimmten Features oder Abläufen noch zu Konflikten kommen könnte.

Gibt es hierzu eventuell schon Infos oder Erfahrungen aus euren internen Tests?
Eure Einschätzung dazu würde mich interessieren.

Vielen Dank vorab und freundliche Grüße
J. Lippold