Hello,I've opened an RFC to separate third-party extension documentation (imagick, redis, mongodb, etc) from the official PHP manual, while keeping the existing DocBook tooling and infrastructure.
Bundled extensions (pdo, curl, etc) are out of scope and stay in the official PHP manual.
https://wiki.php.net/rfc/third_party_ext_documentation -- Regards, Jordi Kroon
