server/index.html

<!DOCTYPE html>
<html>
<head>
	<script> window.location.href="index.php"; </script>
	<meta http-equiv="refresh" content="0; URL=index.php">
</head>
</html>
some web servers by default don't recognize index.php as default page - IIS for example In order to allow easy installation and configuration this index.html has been added with a redirect to index.php 2013-01-31 15:16:28 +00:00			`<!DOCTYPE html>`
			`<html>`
			`<head>`
remove type="text/javascript" from index.html type="text/javascript" is not needed and removing it makes file-size smaller/faster 2018-08-20 11:13:40 +00:00			`<script> window.location.href="index.php"; </script>`
some web servers by default don't recognize index.php as default page - IIS for example In order to allow easy installation and configuration this index.html has been added with a redirect to index.php 2013-01-31 15:16:28 +00:00			`<meta http-equiv="refresh" content="0; URL=index.php">`
			`</head>`
			`</html>`