This file is indexed.

/usr/share/adminer/adminer/designs.php is in adminer 4.6.2-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
<?php
function adminer_object() {
	include_once "../plugins/plugin.php";
	include_once "../plugins/designs.php";
	$designs = array();
	foreach (glob("../designs/*", GLOB_ONLYDIR) as $filename) {
		$designs["$filename/adminer.css"] = basename($filename);
	}
	return new AdminerPlugin(array(
		new AdminerDesigns($designs),
	));
}

include "./index.php";