Transform index.html into index.php (and test servers)