This file is indexed.

/usr/share/horde/passwd/js/passwd.js is in php-horde-passwd 5.0.2-3+deb8u1.

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
/**
 * Provides javascript support for the main passwd page.
 *
 * See the enclosed file COPYING for license information (GPL). If you
 * did not receive this file, see http://www.horde.org/licenses/gpl.
 */

document.observe('dom:loaded', function() {
    $('passwd-submit').observe('click', function(e) {
        if (!$F('passwd-oldpassword')) {
            alert(Passwd.current_pass);
            $('passwd-oldpassword').focus();
            e.stop();
            return;
        }
        if (!$F('passwd-newpassword0')) {
            alert(Passwd.new_pass);
            $('passwd-newpassword0').focus();
            e.stop();
            return;
        }
        if (!$F('passwd-newpassword1')) {
            alert(Passwd.verify_pass);
            $('passwd-newpassword1').focus();
            e.stop();
            return;
        }
        if ($F('passwd-newpassword0') != $F('passwd-newpassword1')) {
            alert(Passwd.no_match);
            $('passwd-newpassword0').focus();
            e.stop();
            return;
        }
    });

    $('passwd').focusFirstElement();
});