Ошибка: класс SplEnum не найден в PHP 7. ⇐ Php

[Anonymous]

У меня есть проект с PHP 7.3 под Windows 10. Я использую PHP из Xampp.
Я получаю следующую ошибку:

Неустранимая ошибка: необнаруженная ошибка: класс «SplEnum» не найден в [...]

для

Код: Выделить всё

class BanLevel extends SplEnum { ... }

Похоже, я неправильно понимаю документ:

• https://www.php.net/manual/en/class.splenum.php
• https://www.php.net/manual/en/spl.installation.php

Это наводит меня на мысль, что его следует включить в мой артефакт PHP.
Чего мне не хватает?
ОБНОВЛЕНИЕ:
Страница class.splenum.php ушел в оффлайн. Однако он по-прежнему доступен на румынском языке:
https://www.php.net/manual/ro/class.splenum.php или здесь:
https://php-legacy-docs.zend.com/manual ... ss.splenum

Подробнее здесь: https://stackoverflow.com/questions/578 ... d-in-php-7