trav3             906 ext/soap/php_sdl.c 					xmlNodePtr input, output, fault, portTypeOperation, trav3;
trav3             927 ext/soap/php_sdl.c 					trav3 = operation->children;
trav3             928 ext/soap/php_sdl.c 					while  (trav3 != NULL) {
trav3             930 ext/soap/php_sdl.c 						    node_is_equal_ex(trav3, "operation", wsdl_soap_namespace)) {
trav3             931 ext/soap/php_sdl.c 						} else if (is_wsdl_element(trav3) &&
trav3             932 ext/soap/php_sdl.c 						           !node_is_equal(trav3,"input") &&
trav3             933 ext/soap/php_sdl.c 						           !node_is_equal(trav3,"output") &&
trav3             934 ext/soap/php_sdl.c 						           !node_is_equal(trav3,"fault") &&
trav3             935 ext/soap/php_sdl.c 						           !node_is_equal(trav3,"documentation")) {
trav3             936 ext/soap/php_sdl.c 							soap_error1(E_ERROR, "Parsing WSDL: Unexpected WSDL element <%s>", trav3->name);
trav3             938 ext/soap/php_sdl.c 						trav3 = trav3->next;