@theia/plugin 1.19.0 → 1.21.0-next.13

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@theia/plugin",
-  "version": "1.19.0",
+  "version": "1.21.0-next.13+afcf799cca0",
   "description": "Theia - Plugin API",
   "types": "./src/theia.d.ts",
   "publishConfig": {
@@ -27,10 +27,10 @@
     "watch": "theiaext watch"
   },
   "devDependencies": {
-    "@theia/ext-scripts": "1.19.0"
+    "@theia/ext-scripts": "1.20.0"
   },
   "nyc": {
     "extends": "../../configs/nyc.json"
   },
-  "gitHead": "cebb5417bb40e320178e3a4e66070af514f0525f"
+  "gitHead": "afcf799cca07f3cabb4c8da984b774ab361f494c"
 }

package/src/theia-proposed.d.ts

@@ -20,7 +20,7 @@
  * This is the place for API experiments and proposals.
  * These API are NOT stable and subject to change. Use it on own risk.
  */
-declare module '@theia/plugin' {
+export module '@theia/plugin' {
     // #region auth provider
 
     /**
@@ -557,7 +557,7 @@ declare module '@theia/plugin' {
          * Handle when the underlying resource for a custom editor is renamed.
          *
          * This allows the webview for the editor be preserved throughout the rename. If this method is not implemented,
-         * Theia will destory the previous custom editor and create a replacement one.
+         * Theia will destroy the previous custom editor and create a replacement one.
          *
          * @param newDocument New text document to use for the custom editor.
          * @param existingWebviewPanel Webview panel for the custom editor.

package/src/theia.d.ts

@@ -25,7 +25,7 @@ import './theia-proposed';
 /* eslint-disable @typescript-eslint/no-explicit-any */
 /* eslint-disable max-len */
 
-declare module '@theia/plugin' {
+export module '@theia/plugin' {
 
     /**
      * The version of the Theia API.
@@ -11047,4 +11047,3 @@ declare module '@theia/plugin' {
         export const onDidChangeSessions: Event<AuthenticationSessionsChangeEvent>;
     }
 }
-