This file is indexed.

/usr/share/php/Horde/Controller.php is in php-horde-controller 2.0.1-3.

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
/**
 * Interface for all controller objects
 *
 * @category Horde
 * @package  Controller
 * @author   James Pepin <james@bluestatedigital.com>
 * @license  http://www.horde.org/licenses/bsd BSD
 */
interface Horde_Controller
{
    /**
     * Process the incoming request.
     *
     * @param Horde_Controller_Request $request   The incoming request.
     * @param Horde_Controller_Response $response The outgoing response.
     */
    public function processRequest(Horde_Controller_Request $request, Horde_Controller_Response $response);
}