From a86fe7920bd4b49f56fe4448a047e07c0356b43b Mon Sep 17 00:00:00 2001
From: Daniel Molkentin <daniel@molkentin.de>
Date: Wed, 24 Apr 2013 15:11:53 +0200
Subject: [PATCH] Try to prefer index.php over index.html in the same directory

Add JS redirect if that fails (HTTP-based redirects are disabled by
default in more recent Firefox versions).
---
 .htaccess  | 3 +++
 index.html | 1 +
 2 files changed, 4 insertions(+)

diff --git a/.htaccess b/.htaccess
index 463b49993e..201e0d605b 100755
--- a/.htaccess
+++ b/.htaccess
@@ -32,5 +32,8 @@ RewriteRule ^remote/(.*) remote.php [QSA,L]
 AddType image/svg+xml svg svgz
 AddEncoding gzip svgz
 </IfModule>
+<IfModule dir_module>
+DirectoryIndex index.php index.html
+</IfModule>
 AddDefaultCharset utf-8
 Options -Indexes
diff --git a/index.html b/index.html
index 69d42e3a0b..f160f46b6f 100644
--- a/index.html
+++ b/index.html
@@ -1,6 +1,7 @@
 <!DOCTYPE html>
 <html>
 <head>
+	<script type="text/javascript"> window.location.href="index.php"; </script>
 	<meta http-equiv="refresh" content="0; URL=index.php">
 </head>
 </html>
-- 
GitLab