Cosa sono i file con estensione «.phps»? Sono file PHP?

Sono file PHP in tutto e per tutto ma non vengono eseguiti dal server. Essi servono per visualizzare il codice sorgente, in formato «highlighted» (la «s» sta per source). Di solito il server Apache è configurato di default per visualizzare i file .phps.