Estranho, lendo este comentário, fui fazer o este não só nesse arquivo, mas alguns outros, e todos deram o mesmo resultado.
Salva um arquivo Index. php.
E nada a ver com os arquivos em questão.
Não sei quando isso começou, mas antes eu clicava no arquivo e dava a opção de salvar com o nome do próprio arquivo.
Estou usando o Firefox.
Abraços.
Rubens