I'm sorry, that's indeed what the root comment said. Thanks for the correction. Still, I imagine they must use a lot of the same code - half the PHP standard l

I'm sorry, that's indeed what the root comment said. Thanks for the correction. Still, I imagine they must use a lot of the same code - half the PHP standard library is just a thin wrapper of some C library, and reimplementing all of them sounds stupid. Then again, they may just not support the majority of such libraries.