adding web changes of Export HTML (#34117)

GitOrigin-RevId: 804c576faefebfc6683a0363b45372e66a43d8fc
2026-11-14 06:03:45 +01:00 · 2026-06-05 08:06:19 +00:00
parent fc2abf5b24
commit 6ce36a2606
10 changed files with 107 additions and 3 deletions
@@ -483,6 +483,7 @@ const _ProjectController = {
      'export-docx',
      'sharing-updates',
      'export-markdown',
+      'export-html',
      'command-palette',
      'overleaf-library',
      'compile-timeout-cta',