Update katex to 0.16.44

[typelevel-steward]

About this PR

📦 Updates org.webjars.npm:katex from 0.16.28 to 0.16.44

📜 GitHub Release Notes - Version Diff

Usage

✅ Please merge!

I'll automatically update this PR to resolve conflicts as long as you don't change it yourself.

If you'd like to skip this version, you can just close this PR. If you have any feedback, just mention me in the comments below.

Configure Scala Steward for your repository with a .scala-steward.conf file.

Have a fantastic day writing Scala!

🔍 Files still referring to the old version number

The following files still refer to the old version number (0.16.28).
You might want to review and update them manually.

src/templates/main.template.html

⚙ Adjust future updates

Add this to your .scala-steward.conf file to ignore future updates of this dependency:

updates.ignore = [ { groupId = "org.webjars.npm", artifactId = "katex" } ]

Or, add this to slow down future updates of this dependency:

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "org.webjars.npm", artifactId = "katex" }
}]

^{labels: library-update, early-semver-minor, semver-spec-patch, old-version-remains, commit-count:1}

[valencik]

New to using this library so I decided to inspect this a bit more than usual.
This does change the html output of the blog posts using the katex feature.

I ran a build with the current 0.16.28 version and one with this new 0.16.44 and diff'd them:

diff -rq target-katex-28 target-katex-44

Files target-katex-28/blog/equivalence-vs-equality.html and target-katex-44/blog/equivalence-vs-equality.html differ
Files target-katex-28/blog/method-equiv.html and target-katex-44/blog/method-equiv.html differ
Files target-katex-28/blog/minicheck.html and target-katex-44/blog/minicheck.html differ
Files target-katex-28/blog/nested-existentials.html and target-katex-44/blog/nested-existentials.html differ

But the actually differences seem negligible.
The output lines are huge, so awkward to show the diff here, but it's mostly changes like:

> style="margin-right:0.02778em;"
---
< style="margin-right:0.0278em;"

Blog posts look like they render the same.

[valencik]

Having to update this line as well is annoying.
I wonder if we can get this programmatically without too much difficulty?

[valencik]

@armanbilge how bad would it be to read the pom.properties at build time? Something like this:

def webjarVersion(artifactId: String): String = {
  val propsPath = s"/META-INF/maven/org.webjars.npm/$artifactId/pom.properties"
  val props = java.util.Properties()
  props.load(classOf[Main.type].getResourceAsStream(propsPath))
  props.getProperty("version")
}

I get that Scala Steward is smart enough to bump both versions, but I never am when manually doing/testing things.

[valencik]

Actually, more so than just versioning, we could have a little helper class for loading resources from webjars

[armanbilge]

That's a great idea, I think I didn't know about the pom.properties. I issued it :)

• Smarter loading of resources from WebJars #633

[armanbilge]

The output lines are huge, so awkward to show the diff here, but it's mostly changes like:

If anyone else is curious, the full diff is in 91cfca8.