chore(deps-dev): bump eslint from 7.12.0 to 7.25.0 in /docs (#773)

Bumps [eslint](https://github.com/eslint/eslint) from 7.12.0 to 7.25.0.
- [Release notes](https://github.com/eslint/eslint/releases)
- [Changelog](https://github.com/eslint/eslint/blob/master/CHANGELOG.md)
- [Commits](https://github.com/eslint/eslint/compare/v7.12.0...v7.25.0)

Signed-off-by: dependabot[bot] <support@github.com>

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

docs/package.json

@@ -40,7 +40,7 @@
     ]
   },
   "devDependencies": {
-    "eslint": "^7.12.0",
+    "eslint": "^7.25.0",
     "eslint-config-prettier": "^6.14.0",
     "eslint-plugin-mdx": "^1.8.2",
     "eslint-plugin-react": "^7.21.5",