Enable Mike as versioning provider

mkdocs.yml

@@ -392,6 +392,8 @@ extra:
     palette:
       primary: indigo
       accent: orange
+  version:
+    provider: mike
 extra_css: [ assets/stylesheets/extra.css ]
 extra_javascript:
   - assets/javascripts/client.js

requirements.txt

@@ -3,3 +3,4 @@ mkdocs-redirects==1.2.0
 pygments==2.14
 mkdocs-static-i18n==0.53
 mkdocs-git-revision-date-localized-plugin==1.1.0
+mike==1.1.2