Skip to content

docs: migrate SPPF page from Bootstrap 4 to Bootstrap 5#1588

Open
akerem16 wants to merge 1 commit intolark-parser:masterfrom
akerem16:docs/bootstrap-5-migration
Open

docs: migrate SPPF page from Bootstrap 4 to Bootstrap 5#1588
akerem16 wants to merge 1 commit intolark-parser:masterfrom
akerem16:docs/bootstrap-5-migration

Conversation

@akerem16
Copy link
Copy Markdown

Summary

Fixes #1494.

Migrates `docs/_static/sppf/sppf.html` off of Bootstrap 4 (EOL since 2023-01-01) onto Bootstrap 5.

Changes

  • CDN: `stackpath.bootstrapcdn.com/bootstrap/4.3.1` → `cdn.jsdelivr.net/npm/bootstrap@5.3.3`. stackpath.bootstrapcdn.com never mirrored Bootstrap 5, so a switch of host is required. Added an SRI `integrity` hash computed locally against the jsDelivr asset.
  • Utility class: the only Bootstrap utility on the page was `pull-right` (legacy Bootstrap 3 name that survived through v4). Renamed to `float-end` per the v5 migration guide.

Nothing else on the page uses Bootstrap classes, `data-toggle` attributes, or jQuery, so no further changes were needed.

Test plan

  • HTML diff is two character-level changes; behavior on the SPPF page is unchanged (the back-to-top link stays right-aligned via `float-end`).
  • SRI hash regenerated from the upstream jsDelivr asset to match 5.3.3.

Fixes lark-parser#1494.

Bootstrap 4 reached end-of-life on 2023-01-01. The SPPF article under
docs/_static/sppf/sppf.html was the only page pinning Bootstrap 4.

Changes:
- Switch the stylesheet to Bootstrap 5.3.3 via the jsDelivr CDN
  (stackpath.bootstrapcdn.com does not host Bootstrap 5) and add an
  SRI integrity hash.
- Rename the only deprecated utility class used on the page,
  pull-right, to its Bootstrap 5 equivalent float-end.

No other Bootstrap utilities or components are referenced on this page,
so no further migration steps are required. The page was rendered
locally and the back-to-top anchor stays right-aligned as before.
@akerem16 akerem16 force-pushed the docs/bootstrap-5-migration branch from 7f3a00b to b377e78 Compare April 20, 2026 11:27
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.

Move documentation to bootstrap 5

1 participant