PHP, Zend Extension library