Searched refs:other_dtd (Results 1 – 1 of 1) sorted by relevance
1637 const xmlDtd *other_dtd = (const xmlDtd *) other; in PHP_DOM_DEFINE_LIST_COUNTER_HELPER() local1638 return xmlStrEqual(this_dtd->name, other_dtd->name) in PHP_DOM_DEFINE_LIST_COUNTER_HELPER()1639 && xmlStrEqual(this_dtd->ExternalID, other_dtd->ExternalID) in PHP_DOM_DEFINE_LIST_COUNTER_HELPER()1640 && xmlStrEqual(this_dtd->SystemID, other_dtd->SystemID); in PHP_DOM_DEFINE_LIST_COUNTER_HELPER()
Completed in 9 milliseconds