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.
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 e con Historica Edizioni e Alcova Letteraria nel 2022 e Silele Edizioni (La Tela Nera) nel 2023.
Be the first to commenton "Modificare l’estensione .txt in .php ."
Be the first to comment on "Modificare l’estensione .txt in .php ."