search

php / web-php

The www.php.net site
http://www.php.net
Other
850 stars 537 forks source link

Better search #679

Open JorgeCarousel opened 2 years ago

JorgeCarousel commented 2 years ago

Hey guys, can you add search capability for the documentation downloadable files? it doesn't even have to be written in php, it can just be like the one in python documentation files, JavaScript, so it can be run from regular HTML files.

Thanks.

cmb69 commented 2 years ago

The *.chm files are already searchable. Adding search support to the "many HTML files" packages makes sense; a PR would be welcome!

JorgeCarousel commented 2 years ago

It's not letting me create a PR, but according to the files in Python documentation it is done using: Sphinx JavaScript utilities for the full-text search.