This file is indexed.

/usr/share/php/Horde/Controller/Runner.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
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
<?php
/**
 * Class to execute the controller request
 *
 * @category Horde
 * @package  Controller
 * @author   James Pepin <james@bluestatedigital.com>
 * @license  http://www.horde.org/licenses/bsd BSD
 */
class Horde_Controller_Runner
{
    protected $_logger;

    public function __construct(Horde_Log_Logger $logger)
    {
        $this->_logger = $logger;
    }

    public function execute(Horde_Injector $injector,
                            Horde_Controller_Request $request,
                            Horde_Controller_RequestConfiguration $config)
    {
        $this->_logger->debug('RequestConfiguration in Horde_Controller_Runner: ' . print_r($config, true));

        $exporter = $injector->getInstance($config->getSettingsExporterName());
        $exporter->exportBindings($injector);

        $controller = $config->getControllerName();
        if (!$controller) {
            throw new Horde_Controller_Exception('No controller defined');
        }

        $implementationBinder = new Horde_Injector_Binder_Implementation($controller);
        $injector->addBinder('Horde_Controller', new Horde_Injector_Binder_AnnotatedSetters($implementationBinder));

        $filterRunner = $injector->createInstance('Horde_Controller_FilterRunner');
        $exporter->exportFilters($filterRunner, $injector);

        $response = $filterRunner->processRequest($request, $injector->createInstance('Horde_Controller_Response'));
        if ($response->internalRedirect()) {
            $this->_logger->debug('Internal redirect');
            return $this->execute($injector->createChildInjector(), $request, $response->getRedirectConfiguration());
        }

        $this->_logger->debug('Returning Horde_Controller_Response');
        return $response;
    }
}