I'm sorry, that's indeed what the root comment said. Thanks for the correction.<p>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.<p>Then again, they may just not support the majority of such libraries.