diff -r c7c34916027a -r 177826044cd9 wp/wp-includes/js/customize-loader.js
--- a/wp/wp-includes/js/customize-loader.js	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/js/customize-loader.js	Mon Oct 14 18:28:13 2019 +0200
@@ -1,4 +1,9 @@
+/**
+ * @output wp-includes/js/customize-loader.js
+ */
+
 /* global _wpCustomizeLoaderSettings */
+
 /**
  * Expose a public API that allows the customizer to be
  * loaded on any page.