PHP highlighting colors could now be managed by the new PreferencePage
[phpeclipse.git] / net.sourceforge.phpeclipse.phphelp / src / net / sourceforge /
2002-12-27 khartlageThis commit was generated by cvs2svn to compensate...