Restart zend server when php ini file is changed