Update php PDT plugin to version 3.3.2 again.