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