Did you know: HTML Help for PHP

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.