edit to internal type for zendserver php files