PHP 8.3: Deprecated: Return type of Drupal\oidc_menu\LinkList::current()

Problem/Motivation

Running on PHP 8.3, the following deprecation is thrown:
Deprecated: Return type of Drupal\oidc_menu\LinkList::current() should either be compatible with Iterator::current(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in .../web/modules/contrib/oidc_menu/src/LinkList.php on line 209

Steps to reproduce

Load a page with the oidc_menu block on it. Make sure the server runs PHP 8.3.