--- a/wp/wp-includes/js/customize-models.js	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/js/customize-models.js	Mon Oct 14 18:28:13 2019 +0200
@@ -1,3 +1,7 @@
+/**
+ * @output wp-includes/js/customize-models.js
+ */
+
 /* global _wpCustomizeHeader */
 (function( $, wp ) {
 	var api = wp.customize;