Non vedo come si tratterebbe di PHP

però basterebbe salvare l'output HTML come testo