"In page" search for poorly organized docs?

[Егор Малыгин]

Hi, Thibaut! Is there a possibility to perform an "in page" global search? I mean for docs like PHP (i know you said it is poorly organized) if you search, for example, "instanceof" it won't be found, but it actual place is in "Type Operators" topic. This is confusing and hard to learn docs, especially when you are offline. I'm guessing it will be a performance flaw, but anyway, is it possible right now? Thanks!

[Thibaut Courouble]

Hi Erop

See my answers to these issues:
https://github.com/Thibaut/devdocs/issues/63
https://github.com/Thibaut/devdocs/issues/272

Full-text search isn't feasible in the browser. Doing it on the backend would require servers ($$$) and wouldn't work offline.

The index can always be improved, though. In this case there should be an additional "instanceof" entry connected to that page. I'll make the change in the next PHP update.

Thibaut

[Егор Малыгин]

Well, thanks a lot for that! And thanks for the fast response and links. I should have checked github myself first :)

понедельник, 21 ноября 2016 г., 4:19:59 UTC+5 пользователь Thibaut Courouble написал:

[Thibaut Courouble]

Hey Erop

I updated the PHP documentation this weekend. You'll find a lot more entries under "Language Reference", including "instanceof":
http://devdocs.io/php-language-reference/

If you notice anything missing, feel free to open a GH issue (or reply here).

Thibaut

[Егор Малыгин]

Yeah, I already noticed, thanks a lot for your time and work, Thibaut! Great app, makes my day every day:)

--
You received this message because you are subscribed to a topic in the Google Groups "devdocs" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/devdocs/VVWGRXj6IHw/unsubscribe.
To unsubscribe from this group and all its topics, send an email to devdocs+unsubscribe@googlegroups.com.
To post to this group, send email to dev...@googlegroups.com.
Visit this group at https://groups.google.com/group/devdocs.
To view this discussion on the web visit https://groups.google.com/d/msgid/devdocs/da55382b-c17b-431f-bfe6-f4f4e09d926a%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.