This file is indexed.

/usr/share/vdr/plugins/live/js/live/hinttips.js is in vdr-plugin-live 0.2.0+git20130305-6.1+b1.

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
/*
 * This is part of the live vdr plugin. See COPYING for license information.
 *
 * HintTips class.
 *
 * Extension of mootools Tips class for rounded corner tooltips of
 * variable size up to some maximum.
 */

var HintTips = Tips.extend({
	  initialize: function(elements, options){
			this.parent(elements, options);
			this.toolTip.empty();
			/* top border of tip */
			var hd = new Element('div', {'class': this.options.className + '-tip-top'}).inject(this.toolTip);
			hd = new Element('div', {'class': this.options.className + '-tip-c'}).inject(hd);

			/* body of tip: some helper divs and content */
			this.wrapper = new Element('div', {'class': this.options.className + '-tip-bdy'}).inject(this.toolTip);
			this.wrapper = new Element('div', {'class': this.options.className + '-tip-c'}).inject(this.wrapper);
			this.wrapper = new Element('div', {'class': this.options.className + '-tip-s'}).inject(this.wrapper);

			/* bottom border of tip */
			var bt = new Element('div', {'class': this.options.className + '-tip-bot'}).inject(this.toolTip);
			bt = new Element('div', {'class': this.options.className + '-tip-c'}).inject(bt);
		}
	});