updated appserver php ext