This file is indexed.

/usr/share/php/Horde/Image/Effect/Border.php is in php-horde-image 2.1.0-4.

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
<?php
/**
 * Image border decorator for the Horde_Image package.
 *
 * @author  Chuck Hagenbuch <chuck@horde.org>
 * @package Image
 */
class Horde_Image_Effect_Border extends Horde_Image_Effect {

    /**
     * Valid parameters for border decorators:
     *
     *   padding         - Pixels from the image edge that the border will start.
     *   borderColor     - Border color. Defaults to black.
     *   fillColor       - Color to fill the border with. Defaults to white.
     *   lineWidth       - Border thickness, defaults to 1 pixel.
     *   roundWidth      - Width of the corner rounding. Defaults to none.
     *
     * @var array
     */
    var $_params = array('padding' => 0,
                         'borderColor' => 'black',
                         'fillColor' => 'white',
                         'lineWidth' => 1,
                         'roundWidth' => 0);

    /**
     * Draw the border.
     *
     * This draws the configured border to the provided image. Beware,
     * that every pixel inside the border clipping will be overwritten
     * with the background color.
     */
    function apply()
    {
        $o = $this->_params;

        $d = $this->_image->getDimensions();
        $x = $o['padding'];
        $y = $o['padding'];
        $width = $d['width'] - (2 * $o['padding']);
        $height = $d['height'] - (2 * $o['padding']);

        if ($o['roundWidth'] > 0) {
            $this->_image->roundedRectangle($x, $y, $width, $height, $o['roundWidth'], $o['borderColor'], $o['fillColor']);
        } else {
            $this->_image->rectangle($x, $y, $width, $height, $o['borderColor'], $o['fillColor']);
        }
    }

}