Total renamed: 0

Now put back the real index.php!