2 Commits (f76c0552445268a6558d8d42b9dfa6f14713aec6)

Author	SHA1	Message	Date
Daniel Molkentin	a86fe7920b	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).	12 years ago
Thomas Mueller	e22a8866fb	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	12 years ago