set_xsi_type       94 ext/soap/php_encoding.c static void set_xsi_type(xmlNodePtr node, char *type);
set_xsi_type     2804 ext/soap/php_encoding.c 					set_xsi_type(key, "xsd:string");
set_xsi_type     2813 ext/soap/php_encoding.c 					set_xsi_type(key, "xsd:int");
set_xsi_type     3469 ext/soap/php_encoding.c 	set_xsi_type(node, nstype.c);