no problem, simply right-click the org.eclipse.php.core project, select
Team->Apply Patch.
This should do it. You can also create a patch via the "Team"
right-click menu.
Here's another patch i've just received from the PDT developers, please
apply it too to, but to the org.eclipse.php.ui project ;)
There was a problem loading contributor extensions for semantic
highlighting,
the patch fixes it.
regards,
-robert
good news: the 2 patches have just been applied to the CVS repository, so you can simply revert those 2 files
and update to the current head.