Adds index hint to server info page.

src/_h5ai/client/css/inc/h5ai-info.less

@@ -16,6 +16,22 @@ body#h5ai-info {
 		font-size: 0.6em;
 		color: #aaa;
 	}
+	.idx-file {
+		margin-top: 1em;
+		font-size: 0.6em;
+		display: block;
+		color: #aaa;
+
+		.value {
+			margin-left: 0.5em;
+			padding: 2px 4px;
+			.border-radius(4px);
+			font-family: @font-family-mono;
+			letter-spacing: 0.1em;
+			background-color: @col-widget-back;
+			border: @border-widget;
+		}
+	}
 	h1 {
 		font-size: 3.6em;
 		margin: 0;

src/_h5ai/client/js/inc/info.js

@@ -17,6 +17,7 @@ modulejs.define('info', ['$'], function ($) {
 			$.getJSON('server/php/index.php', {action: 'get', checks: true}, function (json) {
 
 				if (json) {
+					$('.idx-file .value').text(json.checks['idx']);
 					$('.test').each(function () {
 
 						setCheckResult(this, json.checks[$(this).data('id')]);

src/_h5ai/index.html.jade

@@ -22,6 +22,8 @@ html.no-js( lang="en" )
 		h1 {{pkg.name}}
 		span.build-version version {{pkg.version}}
 		span.build-stamp {{stamp}}
+		span.idx-file Index File: 
+			span.value
 
 		h2 server supports
 		ul#tests

src/_h5ai/server/php/inc/App.php

@@ -289,6 +289,7 @@ class App {
 		$du = @preg_match("/du$/", `which du`) > 0;
 
 		return array(
+			"idx" => $this->app_abs_href . "server/php/index.php",
 			"php" => $php,
 			"cache" => $cache,
 			"thumbs" => $gd,