2 Commits (48621115c10f62f776dbe41ad9a51c1ac360fc8c)

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