This file is indexed.

/usr/share/horde/turba/lib/View/List/PageFilter.php is in php-horde-turba 4.2.12-1ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
<?php
/**
 * The Turba_View_List:: class provides an interface for objects that
 * visualize Turba_List objects.
 *
 * @author  Chuck Hagenbuch <chuck@horde.org>
 * @author  Jon Parise <jon@csh.rit.edu>
 * @package Turba
 */
 /**
  * Skips objects which are not on the current page
  */
class Turba_View_List_PageFilter
{
    protected $_min;
    protected $_max;
    protected $_count = 0;

    public function __construct($min, $max)
    {
        $this->_min = $min;
        $this->_max = $max;
    }

    public function skip($ob)
    {
        if ($this->_count++ < $this->_min) {
            return true;
        }

        return ($this->_count > $this->_max);
    }

}