Migrate dropbox menu to react

GitOrigin-RevId: f06ce85c32f2615e14552a1379bcef94cee4f31d

services/web/frontend/extracted-translations.json

@@ -618,6 +618,7 @@
   "sure_you_want_to_delete": "",
   "switch_to_editor": "",
   "switch_to_pdf": "",
+  "sync": "",
   "sync_project_to_github_explanation": "",
   "sync_to_dropbox": "",
   "sync_to_github": "",