Searched refs:final (Results 1 – 4 of 4) sorted by path
1110 function _changed($orig, $final) { argument 1112 $this->_added($final);
630 // merge found pages into final result array631 $final = [];633 $final[$word] = [];642 if (!isset($final[$word][$hitkey]))643 $final[$word][$hitkey] = $hitcnt;644 else $final[$word][$hitkey] += $hitcnt;648 return $final;
284 final
72 $final = false;75 $final = true;79 if (!xml_parse($this->_parser, $part, $final)) {82 if ($final) {