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, comprami un libro | Buy me a book! **
** ISCRIVITI ALLA NEWSLETTER ! **

About the Author

Sergio Mauri
Blogger, autore. Perito in Sistemi Informativi Aziendali, musicista e compositore, Laurea in Discipline storiche e filosofiche. Premio speciale al Concorso Claudia Ruggeri nel 2007; terzo posto al Premio Igor Slavich nel 2020. Ha pubblicato con Terra d'Ulivi nel 2007 e nel 2011, con Hammerle Editori nel 2013 e 2014, con PGreco nel 2015 con Historica Edizioni e Alcova Letteraria nel 2022 con Silele Edizioni (La Tela Nera) nel 2023 e con Amazon Kdp nel 2024.

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

Leave a comment