Well if he took the default php.ini from php5 on IIS then it pretty much isn't going to work out of the box from my experience.
It needs some configuration values which if he did an uninstall of the old one then it's gone.
Regardless the link provided should be more than enough information to rip out PHP and get it going again on IIS.
