Modificare l’estensione .txt in .php .

Gedit-italiano

Potreste avere la necessità, dopo compilazione del programma in PHP su normale file di testo, di trasformarlo in un file leggibile e modificabile dall’editor che state usando. Non vi ricordate o non sapete come si fa? La cosa è semplicissima da farsi. Aprire il file con un editor (per esempio Notepad ++) e salvare il .txt con la nuova estensione .php.

Il gioco è fatto!

Il tutto si applica – chiaramente – anche ad altri formati e contesti.