Può anche darsi che, inavvertitamente, l'hai salvato come file txt.
Prova questa volta a fare "Salva con nome" digitare:
"index.php" (ricordati le virgolette "")

e facci sapere