Searched refs:head_pointer (Results 1 – 1 of 1) sorted by relevance
1587 private $head_pointer = null; variable in HTML5TreeConstructer1943 $this->head_pointer = $element;2016 if ($this->head_pointer !== null) {2018 $this->head_pointer->appendChild($element);2032 if ($this->head_pointer !== null) {2034 $this->head_pointer->appendChild($element);2047 $this->head_pointer->appendChild($element);2061 if ($this->head_pointer !== null) {2063 $this->head_pointer->appendChild($element);2074 if ($this->head_pointer->isSameNode(end($this->stack))) {[all …]