Skip to content

Check the documentation extension's search without JavaScript - #8

Merged
bonelifer merged 4 commits into
mainfrom
documentation-no-js-search
Oct 7, 2026
Merged

bonelifer merged 4 commits into
mainfrom
documentation-no-js-search

Conversation

@bonelifer

Copy link
Copy Markdown
Contributor

Adds a feature check for the documentation extension's server-side search. For versions that have it, the check writes a probe search-index.json and confirms that a search without JavaScript returns the matching page and reports when nothing matches. Older versions skip the check.

Builds on #7. Claude ran it against phpbbmodders/documentation search-server-fallback and main on a 3.3.19 board, and all 12 checks passed.


Investigated and written by Claude on behalf of William Jacoby (bonelifer).

bonelifer and others added 2 commits October 6, 2026 14:01
phpbbmodders/documentation is moving its default build location from
ext/phpbbmodders/documentation/docs-build to store/phpbbmodders_documentation.
Read phpbbmodders_documentation_docs_path so the check works for both, and
check that a guest who loses access gets the login form.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
For versions with a server-side search fallback, write a probe
search-index.json and check that a search without JavaScript returns
server results and reports when nothing matches.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@bonelifer
bonelifer requested a review from kaileymsnay October 6, 2026 19:43
bonelifer and others added 2 commits October 7, 2026 08:41
…earch

# Conflicts:
#	phpbb-test-board/feature_checks.py
The build now defaults to store/phpbbmodders_documentation, which isn't
reset between runs the way ext/ is, so a leftover build could change
which language the docs home redirects to.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@bonelifer
bonelifer merged commit f4ebca3 into main Oct 7, 2026
1 check passed
@bonelifer
bonelifer deleted the documentation-no-js-search branch October 7, 2026 13:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants