This file is indexed.

/usr/share/php/sabre21/Sabre/VObject/Property/Time.php is in php-sabre-vobject-3 3.5.0-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
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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
<?php

namespace Sabre\VObject\Property;

use Sabre\VObject\DateTimeParser;

/**
 * Time property
 *
 * This object encodes TIME values.
 *
 * @copyright Copyright (C) fruux GmbH (https://fruux.com/)
 * @author Evert Pot (http://evertpot.com/)
 * @license http://sabre.io/license/ Modified BSD License
 */
class Time extends Text {

    /**
     * In case this is a multi-value property. This string will be used as a
     * delimiter.
     *
     * @var string|null
     */
    public $delimiter = null;

    /**
     * Returns the type of value.
     *
     * This corresponds to the VALUE= parameter. Every property also has a
     * 'default' valueType.
     *
     * @return string
     */
    public function getValueType() {

        return "TIME";

    }

    /**
     * Returns the value, in the format it should be encoded for json.
     *
     * This method must always return an array.
     *
     * @return array
     */
    public function getJsonValue() {

        $parts = DateTimeParser::parseVCardTime($this->getValue());

        $timeStr = '';

        // Hour
        if (!is_null($parts['hour'])) {
            $timeStr.=$parts['hour'];

            if (!is_null($parts['minute'])) {
                $timeStr.=':';
            }
        } else {
            // We know either minute or second _must_ be set, so we insert a
            // dash for an empty value.
            $timeStr.='-';
        }

        // Minute
        if (!is_null($parts['minute'])) {
            $timeStr.=$parts['minute'];

            if (!is_null($parts['second'])) {
                $timeStr.=':';
            }
        } else {
            if (isset($parts['second'])) {
                // Dash for empty minute
                $timeStr.='-';
            }
        }

        // Second
        if (!is_null($parts['second'])) {
            $timeStr.=$parts['second'];
        }

        // Timezone
        if (!is_null($parts['timezone'])) {
            $timeStr.=$parts['timezone'];
        }

        return array($timeStr);

    }

}