Function dl deprecated in PHP 5.3 document mismatch

[kitrio]

https://php-legacy-docs.zend.com/manual/php5/en/migration53.deprecated
https://php-legacy-docs.zend.com/manual/php5/en/function.dl
According to php 5 document. the dl function in PHP has been deprecated since PHP 5.3.
and remove since PHP 7.0

When I executed it in PHP 8, I encountered the error: "Fatal error: Uncaught Error: Call to undefined function dl()".
This means that the dl function has been removed 7.0

However, this information is not documented.
https://www.php.net/dl

[damianwadley]

Correct: most PHP 4 and 5 information has been removed from the docs in order to reduce the amount of clutter. They now only cover PHP 7+ - which is why you had to go to php-legacy-docs.zend.com to see the older information.

The warning saying it's only available for CLI, embedded SAPIs, and command-line CGI is accurate. What were you using?