blogimg/blog_18.gif

I just realized that there is a Windows HTML Help file for PHP.

It's probably been there all the time. But if you do a lot of PHP editing like me, and if you haven't tried it yet, try it, it's great.