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