Commit 5b266f5
authored
Update the docsify package that's used in the user documentation (#5872)
We use docsify in the user documentation. It looks like our plugin has
been out of date for a while.
This PR:
- Removes the unused ga docsify plugin. We stopped using google
analytics a very long time ago. But it looks like the ga docsify plugin
was still loaded even though it wasn't used.
- Updates the docsify plugin to its latest released version, v4.13.1.
But it looks like this PR is not in this release yet. This PR also cherry
picks the changes and manually applies on top of v4.13.1.File tree
7 files changed
+8
-9
lines changed- docs-user
- css
- js
7 files changed
+8
-9
lines changedSome generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
12 | | - | |
| 12 | + | |
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
18 | | - | |
19 | | - | |
20 | | - | |
21 | | - | |
22 | | - | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
23 | 22 | | |
24 | 23 | | |
This file was deleted.
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
This file was deleted.
0 commit comments