When I right-click and select “go to definition”, in this case on a php page, for “phpinfo()”, it opens a page with “phpinfo” at top left, but instead of showing the definition, I see this :
DevDocs is migrating to HTTPS.
Please update your bookmarks to point to https://devdocs.io.
When using the HTTPS version, your preferences will carry over automatically, but your offline data will be reset. Simply re-download documentation in the Offline area, and you’ll be all set to use DevDocs securely offline.
Sorry for the inconvenience. This migration is needed because browsers are removing support for certain DOM APIs that power DevDocs’s offline mode over non-secure origins.
Thanks for using DevDocs, and happy coding!
But I already downloaded the offline docs.
Also, I then have to go to the top-left, and remove an extra space before " phpinfo", then hit enter.