modification zendserver6 php 5.3