When I started working with PHP (like 10 years ago), the main thing that won me was the manual in .chm format. Previously, I opened the Index tab and typed there something I needed, and that would direct me to a beautiful, short, but comprehensive reference page.
Now, today, I wanted to update my memory with some isset () properties, so I typed it in the Index, but nothing appeared. See for yourself in the screenshot below.
I had to find the page through the Search tab, which is less convenient.
I noticed a similar problem before, but I ignored it. So, before posting a bug report or php.net, does anyone know what is going on here? Am I the only one with this problem, or is this another of the "improvements" to PHP?

source share