This file is indexed.

/usr/share/bibledit/sprint/index.js is in bibledit-data 5.0.453-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
/*
Copyright (©) 2003-2017 Teus Benschop.

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU 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 General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*/


$(document).ready (function () {
  $ ("table :checkbox").change (function () {
    var box = $ (this);
    var id = box.attr ("id");
    var checked = box.is (':checked')
    $.post ("index", { id:id, checked:checked });
    var identifier = sprint_get_identifier (id);
    var box = sprint_get_box (id);
    var fragment = "task" + identifier.toString () + "box";
    var i;
    if (checked) {
      for (i = 0; i < box; i++) {
        var id = fragment + i.toString ();
        $ ("#" + id).prop ("checked", true);
      }
    } else {
      for (i = box + 1; i < 100; i++) {
        var id = fragment + i.toString ();
        $ ("#" + id).prop ("checked", false);
      }
    }
  });
});


function sprint_get_identifier (fragment)
{
  // Remove "task" and convert to integer identifier.
  var id = fragment.substring (4);
  var identifier = parseInt (id);
  return identifier;
}


function sprint_get_box (fragment)
{
  // Find the fragment "box".
  var pos = fragment.indexOf ("box");
  // Remove the fragment "box".
  var id = fragment.substring (pos + 3);
  // Convert the box to an integer.
  var box = parseInt (id);
  return box;
}