Revert theia changes

Author: filiptronicek

components/server/src/code-sync/code-sync-service.ts

@@ -114,7 +114,12 @@ export class CodeSyncService {
                 return;
             }
             const manifest = await this.db.getManifest(req.user.id);
-
+            if (manifest.latest && !manifest.latest.extensions) {
+                manifest.latest.extensions = fromTheiaRev;
+            }
+            if (manifest.latest && !manifest.latest.settings) {
+                manifest.latest.settings = fromTheiaRev;
+            }
             res.json(manifest);
             return;
         });