This file is indexed.

/usr/share/routino/www/page-elements.js is in routino-www 3.0-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
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
//
// Javascript for page elements.
//
// Part of the Routino routing software.
//
// This file Copyright 2008-2014 Andrew M. Bishop
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.
//


//
// Display one of the tabs and associated DIV and hide the others
//

function tab_select(name)
{
 var tab=document.getElementById("tab_" + name);

 if(tab.className=="tab_selected")
    return;

 // Hide the deslected tabs and DIVs

 var parent=tab.parentNode;
 var child=parent.firstChild;

 do
   {
    if(String(child.id).substr(0,4)=="tab_")
      {
       var div=document.getElementById(child.id + "_div");

       child.className="tab_unselected";
       div.style.display="none";
      }

    child=child.nextSibling;
   }
 while(child!==null);

 // Display the newly selected tab and DIV

 tab.className="tab_selected";
 document.getElementById(tab.id + "_div").style.display="";
}


//
// Show the associated DIV
//

function hideshow_show(name)
{
 document.getElementById("hideshow_" + name + "_show").className="hideshow_hide";
 document.getElementById("hideshow_" + name + "_hide").className="hideshow_show";
 document.getElementById("hideshow_" + name + "_div").style.display="";
}


//
// Hide the associated DIV
//

function hideshow_hide(name)
{
 document.getElementById("hideshow_" + name + "_show").className="hideshow_show";
 document.getElementById("hideshow_" + name + "_hide").className="hideshow_hide";
 document.getElementById("hideshow_" + name + "_div").style.display="none";
}


//
// Toggle the associated DIV
//

function hideshow_toggle(name)
{
 if(document.getElementById("hideshow_" + name + "_div").style.display=="none")
    hideshow_show(name);
 else
    hideshow_hide(name);
}