Skip to content

doc: navigation#150

Merged
michalsn merged 3 commits intocodeigniter4:developfrom
michalsn:doc-navigation
Dec 22, 2023
Merged

doc: navigation#150
michalsn merged 3 commits intocodeigniter4:developfrom
michalsn:doc-navigation

Conversation

@michalsn
Copy link
Copy Markdown
Member

Description
This PR:

  • adds site_url, to make navigation.instant feature work
  • fixes the way hljs is initialized to work well with navigation.instant feature
  • removes navigation.instant.prefetch feature because it's available only for sponsors of the MkDocs project

Checklist:

  • Securely signed commits
  • Component(s) with PHPDoc blocks, only if necessary or adds value
  • Unit testing, with >80% coverage
  • User guide updated
  • Conforms to style guide

@michalsn michalsn merged commit 429a51a into codeigniter4:develop Dec 22, 2023
@michalsn michalsn deleted the doc-navigation branch December 29, 2023 08:22
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.

3 participants