This file is indexed.

/etc/horde/imp/menu.php.dist is in php-horde-imp 6.2.21-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
<?php
/**
 * This file lets you extend IMP's menu with your own items.
 *
 * To add a new menu item, simply add a new entry to the $_menu array.
 *
 * REQUIRED attributes for a menu item are:
 *
 *  'url'   The URL value for the menu item.
 *  'text'  The text to accompany the menu item.
 *
 * These attributes are OPTIONAL:
 *
 *  'icon'       The filename of an icon to use for the menu item.
 *  'icon_path'  The path to the icon if it doesn't exist in the graphics/
 *               directory.
 *  'onclick'    Javascript to execute on the "onclick" event (standard view
                 only).
 *  'target'     The "target" of the link (e.g. '_top', '_blank').
 *
 * Here's an example entry:
 *
 *  $_menu[] = array(
 *      'url' =>        'http://www.example.com/',
 *      'text' =>       'Example, Inc.',
 *      'icon' =>       'example.png',
 *      'icon_path' =>  'http://www.example.com/images/',
 *      'target' =>     '_blank'
 *  );
 *
 * To add items in a separate container, separated by line separators, use a
 * unique 'container' property for each item to appear in the same container.
 *
 * For example, the following two entries will appear in the same container:
 *
 *  $_menu[] = array(
 *      'url' =>        'http://www.example.com/',
 *      'text' =>       'Example, Inc.',
 *      'icon' =>       'example.png',
 *      'icon_path' =>  'http://www.example.com/images/',
 *      'target' =>     '_blank',
 *      'container' =>  'mylinks'
 *  );
 *  $_menu[] = array(
 *      'url' =>        'http://www.another-example.com/',
 *      'text' =>       'Another Example, Inc.',
 *      'target' =>     '_blank',
 *      'container' =>  'mylinks'
 *  );
 */

$_menu = array();

/* Add your custom entries below this line. */