Merge pull request #11983 from overleaf/jpa-server-pro-3-5-1

[misc] add hotfixes for Server CE and Server Pro 3.5.1

GitOrigin-RevId: ea9c39b65bcc7d9ac1132ec8aed6c35274acfd13

server-ce/hotfix/3.5.1/Dockerfile

@@ -0,0 +1,6 @@
+FROM sharelatex/sharelatex:3.5.0
+
+# Patch: fix German locales
+COPY fix_de_locales.patch .
+RUN patch -p0 < fix_de_locales.patch
+RUN node genScript compile | bash

server-ce/hotfix/3.5.1/fix_de_locales.patch

@@ -0,0 +1,10 @@
+--- services/web/locales/de.json
++++ services/web/locales/de.json
+@@ -348,7 +348,6 @@
+   "edit_dictionary_empty": "Dein benutzerdefiniertes Wörterbuch ist leer.",
+   "edit_dictionary_remove": "Aus Wörterbuch entfernen",
+   "editing": "Bearbeitung",
+-  "editor_and_pdf": "Editor & PDF",
+   "editor_disconected_click_to_reconnect": "Editor wurde getrennt",
+   "editor_only_hide_pdf": "Nur Editor <0>(PDF ausblenden)</0>",
+   "editor_resources": "Editor-Literatur",