Searched refs:old_element (Results 1 – 1 of 1) sorted by relevance
519 phpdbg_watch_element *old_element; local521 if ((old_element = zend_hash_find_ptr(&watch->elements, element->str))) {522 if (element != old_element) {525 return old_element;
Completed in 12 milliseconds