update PHP Editor