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