Missing double slash on Javascript snippet on wp-admin/includes/file.php

[satollo]

There is a minor (may be formal) error on javascript generated by wp-admin/includes/file.php: the last --> that closes the HTML comment should be preceded by the Javascript comment marker .

Stefano.

Here the patch:

# This patch file was generated by NetBeans IDE
# It uses platform neutral UTF-8 encoding and \n newlines.
--- Base (BASE)
+++ Locally Modified (Based On LOCAL)
@@ -977,7 +977,7 @@
 	});
 	jQuery('form input[value=""]:first').focus();
 });
--->
+//-->
 </script>
 <form action="<?php echo esc_url( $form_post ) ?>" method="post">
 <div class="wrap">

[SergeyBiryukov]

There's no double slash before the opening comment tag either:
​http://core.trac.wordpress.org/browser/tags/3.5.1/wp-admin/includes/file.php#L969

As noted in #23952, those comment tags are no longer needed. #18788 removes most of them, I've made a note there.