Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve search index generation for PHP.net #154

Merged
merged 5 commits into from
Oct 6, 2024
Merged

Improve search index generation for PHP.net #154

merged 5 commits into from
Oct 6, 2024

Commits on Oct 4, 2024

  1. Improve PHP.net manual search index 

    Improves the search indexes generated by the PHP-Web format by:
- Adding short descriptions to entries that lack them
- Skipping non-chunk entries (page elements)
    @lhsazevedo
    lhsazevedo committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    cf95dd6 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. Remove comments

    @lhsazevedo
    lhsazevedo committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    6922989 View commit details
    Browse the repository at this point in the history

  2. Add comment explaining isset usage

    @lhsazevedo
    lhsazevedo committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    e3fb93a View commit details
    Browse the repository at this point in the history

  3. Prefer identity comparison over equality 

    Co-authored-by: Kamil Tekiela <[email protected]>
    @lhsazevedo @kamil-tekiela
    lhsazevedo and kamil-tekiela authored Oct 5, 2024
    Configuration menu
    Copy the full SHA
    83b37df View commit details
    Browse the repository at this point in the history

  4. Remove unnecessary use of empty

    @lhsazevedo
    lhsazevedo committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    ba87ca6 View commit details
    Browse the repository at this point in the history