trav3             898 ext/soap/php_sdl.c 					xmlNodePtr input, output, fault, portTypeOperation, trav3;
trav3             919 ext/soap/php_sdl.c 					trav3 = operation->children;
trav3             920 ext/soap/php_sdl.c 					while  (trav3 != NULL) {
trav3             922 ext/soap/php_sdl.c 						    node_is_equal_ex(trav3, "operation", wsdl_soap_namespace)) {
trav3             923 ext/soap/php_sdl.c 						} else if (is_wsdl_element(trav3) &&
trav3             924 ext/soap/php_sdl.c 						           !node_is_equal(trav3,"input") &&
trav3             925 ext/soap/php_sdl.c 						           !node_is_equal(trav3,"output") &&
trav3             926 ext/soap/php_sdl.c 						           !node_is_equal(trav3,"fault") &&
trav3             927 ext/soap/php_sdl.c 						           !node_is_equal(trav3,"documentation")) {
trav3             928 ext/soap/php_sdl.c 							soap_error1(E_ERROR, "Parsing WSDL: Unexpected WSDL element <%s>", trav3->name);
trav3             930 ext/soap/php_sdl.c 						trav3 = trav3->next;