Modificare l’estensione .txt in .php .

Gedit-italiano
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.

** Se puoi sostenere il mio lavoro, offrimi un caffè **

About the Author

admin
Classe 1965, musicista, informatico, storico e filosofo. Vivo e lavoro a Trieste.

Be the first to comment on "Modificare l’estensione .txt in .php ."

Leave a comment