set_xsi_type       94 ext/soap/php_encoding.c static void set_xsi_type(xmlNodePtr node, char *type);
set_xsi_type     2693 ext/soap/php_encoding.c 					set_xsi_type(key, "xsd:string");
set_xsi_type     2702 ext/soap/php_encoding.c 					set_xsi_type(key, "xsd:int");
set_xsi_type     3351 ext/soap/php_encoding.c 	set_xsi_type(node, ZSTR_VAL(nstype.s));