This file is indexed.

/usr/share/phppgadmin/js/database.js is in phppgadmin 5.1+ds-2.

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
64
$(document).ready(function() {

	var timeid = query = null;
	var controlLink = $('#control');
	var errmsg = $('<p class="errmsg">'+Database.errmsg+'</p>')
		.insertBefore(controlLink)
		.hide();
	var loading = $('<img class="loading" alt="[loading]" src="'+ Database.load_icon +'" />')
		.insertAfter(controlLink)
		.hide();

	function refreshTable() {
		if (Database.ajax_time_refresh > 0) {
			loading.show();
			query = $.ajax({
				type: 'GET',
				dataType: 'html',
				data: {server: Database.server, database: Database.dbname, action: Database.action},
				url: 'database.php',
				cache: false,
				contentType: 'application/x-www-form-urlencoded',
				success: function(html) {
					$('#data_block').html(html);
					timeid = window.setTimeout(refreshTable, Database.ajax_time_refresh)
				},
				error: function() {
					controlLink.click();
					errmsg.show();
				},
				complete: function () {
					loading.hide();
				}
			});
		}
	}

	controlLink.toggle(
		function() {
			$(errmsg).hide();
			timeid = window.setTimeout(refreshTable, Database.ajax_time_refresh);
			controlLink.html('<img src="'+ Database.str_stop.icon +'" alt="" />&nbsp;'
				+ Database.str_stop.text + '&nbsp;&nbsp;&nbsp;'
			);
		},
		function() {
			$(errmsg).hide();
			$(loading).hide();
			window.clearInterval(timeid);
			if (query) query.abort();
			controlLink.html('<img src="'+ Database.str_start.icon +'" alt="" />&nbsp;'
				+ Database.str_start.text
			);
		}
	);

	/* preload images */
	$('#control img').hide()
		.attr('src', Database.str_start.icon)
		.attr('src', Database.str_stop.icon)
		.show();
	
	/* start refreshing */
	controlLink.click();
});