This file is indexed.

/usr/share/php/Horde/Log/Formatter/Cli.php is in php-horde-log 2.2.0-2.

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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
<?php
/**
 * Copyright 2013-2016 Horde LLC (http://www.horde.org/)
 *
 * @author     Jan Schneider <jan@horde.org>
 * @category   Horde
 * @license    http://www.horde.org/licenses/bsd BSD
 * @package    Log
 * @subpackage Handlers
 */

/**
 * Formatter for the command line interface using Horde_Cli.
 *
 * @author     Jan Schneider <jan@horde.org>
 * @category   Horde
 * @license    http://www.horde.org/licenses/bsd BSD
 * @package    Log
 * @subpackage Formatters
 */
class Horde_Log_Formatter_Cli implements Horde_Log_Formatter
{
    /**
     * A CLI handler.
     *
     * @var Horde_Cli
     */
    protected $_cli;

    /**
     * Constructor.
     *
     * @param Horde_Cli $cli  A Horde_Cli instance.
     */
    public function __construct(Horde_Cli $cli)
    {
        $this->_cli = $cli;
    }

    /**
     * Formats an event to be written by the handler.
     *
     * @param array $event  Log event.
     *
     * @return string  Formatted line.
     */
    public function format($event)
    {
        $flag = '['. str_pad($event['levelName'], 7, ' ', STR_PAD_BOTH) . '] ';

        switch ($event['level']) {
        case Horde_Log::EMERG:
        case Horde_Log::ALERT:
        case Horde_Log::CRIT:
        case Horde_Log::ERR:
            $type_message = $this->_cli->red($flag);
            break;

        case Horde_Log::WARN:
        case Horde_Log::NOTICE:
            $type_message = $this->_cli->yellow($flag);
            break;

        case Horde_Log::INFO:
        case Horde_Log::DEBUG:
            $type_message = $this->_cli->blue($flag);
            break;

        default:
            $type_message = $flag;
        }

        return $type_message . $event['message'];
    }

}