PHP highlighting colors could now be managed by the new PreferencePage
[phpeclipse.git] / archive / net.sourceforge.phpeclipse.jtidy / plugin.properties
2003-02-07 khartlagemisc changes