This file is indexed.

/usr/share/php/Pager/Pager.php is in php-pager 2.4.8-3build1.

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
<?php
/**
 * Dummy file, used to maintain backward compatibility.
 * The real file was moved to the PEAR root directory
 *
 * PHP versions 4 and 5
 *
 * @category  HTML
 * @package   Pager
 * @author    Lorenzo Alberton <l.alberton@quipo.it>
 * @author    Richard Heyes <richard@phpguru.org>
 * @copyright 2003-2007 Lorenzo Alberton, Richard Heyes
 * @license   http://www.debian.org/misc/bsd.license  BSD License (3 Clause)
 * @version   CVS: $Id: Pager_savebc.php,v 1.3 2007/10/28 22:37:01 quipo Exp $
 * @link      http://pear.php.net/package/Pager
 */

require_once 'Pager.php';
?>