zend developer tools updated with latest