> There was also a third party extension that added threads to PHP 15 years ago, although it was buggy.

Reminds me of ReactPHP (no, not that React) that allowed you to do non-blocking I/O in PHP back in like 2012-2013 sometime. Maybe that's the library you're referring to actually?

https://github.com/reactphp/reactphp