# grep -i 'zend' /etc/php.ini
; dynamically loaded extension (either a PHP extension or a Zend extension),
; unsupported in future versions of PHP/Zend. The encouraged method of
[Zend]
zend_optimizer.optimization_level=15
zend_extension_manager.optimizer=/usr/local/Zend/lib/Optimizer-2.5.1
zend_extension_manager.optimizer_ts=/usr/local/Zend/lib/Optimizer_TS-2.5.1
zend_extension=/usr/local/Zend/lib/ZendExtensionManager.so
zend_extension_ts=/usr/local/Zend/lib/ZendExtensionManager_TS.so