--- a/wp/wp-includes/js/media-editor.js	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/js/media-editor.js	Mon Oct 14 18:28:13 2019 +0200
@@ -1,3 +1,7 @@
+/**
+ * @output wp-includes/js/media-editor.js
+ */
+
 /* global getUserSetting, tinymce, QTags */
 
 // WordPress, TinyMCE, and Media
@@ -605,8 +609,7 @@
 			return wp.media.view.settings.post.featuredImageId;
 		},
 		/**
-		 * Set the featured image id, save the post thumbnail data and
-		 * set the HTML in the post meta box to the new featured image.
+		 * Sets the featured image ID property and sets the HTML in the post meta box to the new featured image.
 		 *
 		 * @param {number} id The post ID of the featured image, or -1 to unset it.
 		 */