Improve search index generation for PHP.net#154

Merged

kamil-tekiela merged 5 commits intophp:masterfrom lhsazevedo:improve-search-index

Oct 6, 2024

Commits on Oct 4, 2024

Improve PHP.net manual search index
lhsazevedo
committed