Lines Matching defs:seen

202     $seen = []; // caches seen lines, _handleRecentLogLine() skips them
207             $rec = _handleRecentLogLine(@$lines[$lines_position], $ns, $flags, $seen);
218                 $seen
294     $seen = []; // caches seen lines, _handleRecentLogLine() skips them
297         $rec = _handleRecentLogLine($line, $ns, $flags, $seen);
325  * @param array  $seen   listing of seen pages
328 function _handleRecentLogLine($line, $ns, $flags, &$seen)
336     // skip seen ones
337     if (isset($seen[$recent['id']])) return false;
345     // remember in seen to skip additional sights
346     $seen[$recent['id']] = 1;