Skip to content

Conversation

@Profpatsch
Copy link
Contributor

The attribute to redirect to a different page is called content not contents (I guess that means the no-js redirect was broken since the thing was added?)

The attribute to redirect to a different page is called `content` not
`contents` (I guess that means the no-js redirect was broken since the
thing was added?)
@jgm
Copy link
Owner

jgm commented Jan 13, 2025

I think this is obsoleted by your other PR (html5 everywhere).
If so, please close.

@Profpatsch
Copy link
Contributor Author

Yes, it was the same fix commit in case the HTML5 change needed more time.

@Profpatsch Profpatsch closed this Jan 13, 2025
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