Fix undefined Source type lint/type error

The following PRs were fine in isolation, but when merged resulted in the introduction of an undefined `Source` type in the `env` package: #22256 #20522 Rename `Source` introduced in #22256 to `WPSource` according to changes in #20522.
WordPress · Jun 1, 2020 · 60334bf · 60334bf
1 parent fc943af
commit 60334bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/env/lib/config.js b/packages/env/lib/config.js
@@ -38,7 +38,7 @@ const HOME_PATH_PREFIX = `~${ path.sep }`;
  * @property {number}      port                    The port on which to start the development WordPress environment.
  * @property {number}      testsPort               The port on which to start the testing WordPress environment.
  * @property {Object}      config                  Mapping of wp-config.php constants to their desired values.
- * @property {Object.<string, Source>} mappings    Mapping of WordPress directories to local directories which should be mounted.
+ * @property {Object.<string, WPSource>} mappings    Mapping of WordPress directories to local directories which should be mounted.
  * @property {boolean}     debug                   True if debug mode is enabled.
  */