to bring PHP documentation!
seems to be gone with the compiling from the new version ???!!!???
i can fix and updating the download area.
No you never set it in v3!
Now it's good. :-) I prefer v3, v2 is becoming too big. :x
this is the reason for having two versions (ide - editor).
There is a bug with documentation: when I "copy" the text, it's impossible to "paste" later.
Another small improvement: go to doc index when the term is not found, like in v2. ;-)