--- a/wp/wp-admin/js/media-gallery.js	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-admin/js/media-gallery.js	Mon Oct 14 18:28:13 2019 +0200
@@ -1,9 +1,11 @@
-/* global ajaxurl */
-
 /**
  * This file is used on media-upload.php which has been replaced by media-new.php and upload.php
- * Deprecated since 3.5.0
+ *
+ * @deprecated  3.5.0
+ * @output wp-admin/js/media-gallery.js
  */
+
+ /* global ajaxurl */
 jQuery(function($) {
 	/**
 	 * Adds a click event handler to the element with a 'wp-gallery' class.