This file is indexed.

/usr/share/GNUstep/SOGo/WebServerResources/HTMLInputElement.js is in sogo-common 2.2.17a-1.1build1.

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
/* -*- Mode: java; indent-tabs-mode: nil; c-basic-offset: 4 -*- */

Form.Element.Methods._replicate = function(element) {
  element = $(element);
  if (element.replica) {
    element.replica.value = $F(element);
    var onReplicaChangeEvent = document.createEvent("UIEvents");
    onReplicaChangeEvent.initEvent("change", true, true);
    element.replica.dispatchEvent(onReplicaChangeEvent);
  }
};

Form.Element.Methods.assignReplica = function(element, otherInput) {
	element = $(element);
	if (!element._onChangeBound) {
		element.observe("change", element._replicate, false);
		element._onChangeBound = true;
	}
	element.replica = otherInput;
};

Form.Element.Methods.inputAsDate = function(element) {
	return $F(element).asDate();
};

Form.Element.Methods.setInputAsDate = function(element, dateValue) {
	element = $(element);
	if (!element.dateSeparator)
		element._detectDateSeparator();
	element.value = dateValue.stringWithSeparator(element.dateSeparator);
};

Form.Element.Methods.updateShadowValue = function(element) {
	element = $(element);
	element.setAttribute("shadow-value", $F(element));
};

Form.Element.Methods._detectDateSeparator = function(element) {
	element = $(element);
	var date = $F(element).split("/");
	if (date.length == 3)
		element.dateSeparator = "/";
	else
		element.dateSeparator = "-";
};

Form.Element.Methods.valueAsShortDateString = function(element) {
	element = $(element);
	var dateStr = '';
  
	if (!element.dateSeparator)
		element._detectDateSeparator();
  
	var date = $F(element).split(element.dateSeparator);
	if (element.dateSeparator == '/')
		dateStr += date[2] + date[1] + date[0];
	else
		dateStr += date[0] + date[1] + date[2];
  
	return dateStr;
};

Element.addMethods();