This file is indexed.

/usr/share/stellarium/webroot/js/main.js is in stellarium-data 0.15.0-1.

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
//This is the require.js main file for the main interface
requirejs.config({
	paths: {
		jquery: "jquery-1.11.3"
	},
	//prolong js timeout
	waitSeconds: 60,
	map:{
		//add some fixes to jquery ui
		"*":{
			"jquery-ui":"ui/jqueryuifixes"
		},
		//allow jquery fix to access jquery-ui
		"jquery.ui.touch-punch":{
			"jquery-ui":"jquery-ui"
		}
	},
	shim:{
		"globalize":{
			exports: "Globalize"
		},
		"jquery-ui":{
			deps: ["globalize"]
		},
		"jquery.ui.touch-punch":{
			deps: ["jquery-ui"]
		}
	}
});

require(["ui/mainui"]);