chore(deps): bump pygments from 2.12.0 to 2.15.0 in /docs

Bumps [pygments](https://github.com/pygments/pygments) from 2.12.0 to 2.15.0.
- [Release notes](https://github.com/pygments/pygments/releases)
- [Changelog](https://github.com/pygments/pygments/blob/master/CHANGES)
- [Commits](https://github.com/pygments/pygments/compare/2.12.0...2.15.0)

---
updated-dependencies:
- dependency-name: pygments
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
This commit is contained in:
dependabot[bot] 2023-07-20 11:44:27 +00:00 committed by GitHub
parent 6889f95fed
commit b5199cfe51
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,7 +6,7 @@ mkdocs-material==8.2.3
git+https://github.com/jimporter/mike@392d57b8bb9d14bcedf2451a0dc302709f8055eb
# Markdown extensions
Pygments==2.12.0
Pygments==2.15.0
pymdown-extensions==9.4
# MkDocs plugins