php_set_attribute_id 1163 ext/dom/element.c 		php_set_attribute_id(attrp, is_id);
php_set_attribute_id 1199 ext/dom/element.c 		php_set_attribute_id(attrp, is_id);
php_set_attribute_id 1234 ext/dom/element.c 		php_set_attribute_id(attrp, is_id);