Файл -> Сохранить как -> Тип файла "Все файлы (*.*)" -> Имя файла: 123.php -> Сохранить. Или снимаешь флажок в настройках папки "Скрывать расширение зарегистрированного типа файла" (гугл), после чего тупо переименовываешь файл, убирая образовавшееся расширение *.php.txt. Третий способ через консоль, если дружишь с ней. ren имя_файла новое_имя