[PHP-users 195] Re: [Q] Zend optimizer

Masayoshi Kojima php-users@php.gr.jp
Fri, 22 Jun 2001 12:33:49 +0900


> ww2# cat /usr/local/lib/php.ini | grep zend
> zend_optimizer.optimization_level=15
> zend_extention="/usr/local/Zend/lib/ZendOptimizer.so"

zend_extension="/usr/local/Zend/lib/ZendOptimizer.so"

が正しいですね。