Updated twemoji cdn for icon search index #8093
Merged
Add this suggestion to a batch that can be applied as a single commit. This suggestion is invalid because no changes were made to the code. Suggestions cannot be applied while the pull request is closed. Suggestions cannot be applied while viewing a subset of changes. Only one suggestion per line can be applied in a batch. Add this suggestion to a batch that can be applied as a single commit. Applying suggestions on deleted lines is not supported. You must change the existing code in this line in order to create a valid suggestion. Outdated suggestions cannot be applied. This suggestion has been applied or marked resolved. Suggestions cannot be applied from pending reviews. Suggestions cannot be applied on multi-line comments. Suggestions cannot be applied while the pull request is queued to merge. Suggestion cannot be applied right now. Please check back later.
Errata to #8089
Before the merge I did run
mkdocs servelocally, and saw that the new icons in the updated icon index do not show up, however I somehow assumed they're loaded from the deployed material .icons directory, so would show up after merging.My assumption was of course wrong... as they're loaded from the CDN, which got updated over time, and this is the repository which Python Markdown Extensions use over
jsdelivr, but I kept the raw github cdn here, because the website is hosted on github.io:Sorry about the PR churn, as per usual 😒