Merge pull request #9317 from jtpio/extensionmanager

Reinstate extension manager

buildutils/src/ensure-repo.ts

@@ -207,11 +207,6 @@ function ensureJupyterlab(): string[] {
       return;
     }
 
-    // TODO: reinstate once we update the extension-manager
-    if (data.name === '@jupyterlab/extensionmanager') {
-      return;
-    }
-
     coreData.set(data.name, data);
 
     // If the package has a tokens.ts file, make sure it is noted as a singleton

dev_mode/package.json

@@ -41,7 +41,7 @@
     "@jupyterlab/docregistry": "~3.0.0-rc.7",
     "@jupyterlab/documentsearch": "~3.0.0-rc.7",
     "@jupyterlab/documentsearch-extension": "~3.0.0-rc.7",
-    "@jupyterlab/extensionmanager": "^3.0.0-rc.7",
+    "@jupyterlab/extensionmanager": "~3.0.0-rc.7",
     "@jupyterlab/extensionmanager-extension": "~3.0.0-rc.7",
     "@jupyterlab/filebrowser": "~3.0.0-rc.7",
     "@jupyterlab/filebrowser-extension": "~3.0.0-rc.7",