Premetto che ho guardato il manuale ufficiale ma non ci ho capito un granchè.
Qualcuno mi potrebbe spiegare l'utilità di questa funzione.
Ho provato a modificare il file php.ini decommentando questa riga
highlight.string = #00FF00 e assegnandole il colore verde ma non ho ottenuto alcun cambiamento.
Ciao e grazie.