Skip to content

Remove polyfill.io script - #15

Merged
philipphennig merged 1 commit into
probabilistic-numerics:mainfrom
nathanaelbosch:remove-polyfill-io
Oct 8, 2026
Merged

philipphennig merged 1 commit into
probabilistic-numerics:mainfrom
nathanaelbosch:remove-polyfill-io

Conversation

@nathanaelbosch

@nathanaelbosch nathanaelbosch commented Oct 8, 2026 •

Copy link
Copy Markdown
Contributor

Summary

  • Remove the polyfill.io script tag from _includes/scripts/mathjax.html.

The polyfill.io domain was taken over in 2024 and used to serve malicious code to sites embedding it (supply-chain attack). The script only provided an ES6 polyfill for MathJax, which all current browsers support natively, so nothing else changes.

Test plan

  • CI build passes
  • A page with math still renders formulas

Disclaimer: This was found while working on the website with some agent. I don't know much about this but it seems that indeed there was such an attack (https://en.wikipedia.org/wiki/Polyfill_(programming)), so it seems plausible to me to remove it.

@philipphennig

Copy link
Copy Markdown
Contributor

Thanks. Brave new world.

@philipphennig
philipphennig merged commit 1376049 into probabilistic-numerics:main Oct 8, 2026
1 check passed
github-actions Bot added a commit that referenced this pull request Oct 8, 2026
@nathanaelbosch
nathanaelbosch deleted the remove-polyfill-io branch October 8, 2026 18:37
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