encoding_param   1097 ext/xml/xml.c  	char *encoding_param = NULL;
encoding_param   1105 ext/xml/xml.c  	if (zend_parse_parameters(ZEND_NUM_ARGS(), (ns_support ? "|ss": "|s"), &encoding_param, &encoding_param_len, &ns_param, &ns_param_len) == FAILURE) {
encoding_param   1109 ext/xml/xml.c  	if (encoding_param != NULL) {
encoding_param   1116 ext/xml/xml.c  		} else if (strcasecmp(encoding_param, "ISO-8859-1") == 0) {
encoding_param   1118 ext/xml/xml.c  		} else if (strcasecmp(encoding_param, "UTF-8") == 0) {
encoding_param   1120 ext/xml/xml.c  		} else if (strcasecmp(encoding_param, "US-ASCII") == 0) {
encoding_param   1123 ext/xml/xml.c  			php_error_docref(NULL, E_WARNING, "unsupported source encoding \"%s\"", encoding_param);