E' da un po' di tempo che il tasto dell'editor php non funziona più.
Se ci clicchi non succede nulla... come mai?