Error: Class 'SplEnum' not found in PHP 7

Error: Class 'SplEnum' not found in PHP 7

我有一个 PHP 7.3 的项目,在 Windows 10 下。我使用 Xampp 中的 PHP。

我收到以下错误:

Fatal error: Uncaught Error: Class 'SplEnum' not found in [...]

class BanLevel extends SplEnum { ... }

看来我误解了文档:

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

这让我想到它应该包含在我的 PHP 人工制品中。

我错过了什么?

更新: class.splenum.php 页面已下线。它仍然有罗马尼亚语版本,但是:
https://www.php.net/manual/ro/class.splenum.php, or here:
https://php-legacy-docs.zend.com/manual/php5/en/class.splenum

看来我查错了文档,
这是正确的:
https://www.php.net/manual/en/spl-types.installation.php

阐明:

This PECL extension is not bundled with PHP.

A DLL for this PECL extension is currently unavailable.

所以我不能在 Windows 下使用 SPLEnum,除非我将它编译成 PHP。

更新:

php.net 上不再存在 spl-types.installation.php 页面,但仍可在此处找到:
https://php-legacy-docs.zend.com/manual/php5/en/spl-types.installation