diff -r c7c34916027a -r 177826044cd9 wp/wp-includes/js/wp-list-revisions.js
--- a/wp/wp-includes/js/wp-list-revisions.js	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/js/wp-list-revisions.js	Mon Oct 14 18:28:13 2019 +0200
@@ -1,3 +1,7 @@
+/**
+ * @output wp-includes/js/wp-list-revisions.js
+ */
+
 (function(w) {
 	var init = function() {
 		var pr = document.getElementById('post-revisions'),