zend optimzer

Is there any reference to zend optimizer in your php.ini file? there should be two lines with something like this:

zend_optimizer.optimization_level=15
zend_extension=&/usr/local/Zend/lib/ZendOptimizer.so&

 

i ran /scripts/installzendopt but i still get the message 'zend opt not installed' when running an encrypted file.

i made a grep to php.ini and evertything looked right..

Code:

# 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

where is the problem ?