Index: wp-admin/export.php
===================================================================
--- wp-admin/export.php	(revision 21877)
+++ wp-admin/export.php	(working copy)
@@ -16,6 +16,11 @@
 require_once('./includes/export.php');
 $title = __('Export');
 
+/**
+ * Display JavaScript on the page.
+ *
+ * @since 3.5.0
+ */
 function export_add_js() {
 ?>
 <script type="text/javascript">
Index: wp-admin/options-general.php
===================================================================
--- wp-admin/options-general.php	(revision 21877)
+++ wp-admin/options-general.php	(working copy)
@@ -20,8 +20,7 @@
 /**
  * Display JavaScript on the page.
  *
- * @package WordPress
- * @subpackage General_Settings_Screen
+ * @since 3.5.0
  */
 function options_general_add_js() {
 ?>
Index: wp-admin/options-permalink.php
===================================================================
--- wp-admin/options-permalink.php	(revision 21877)
+++ wp-admin/options-permalink.php	(working copy)
@@ -49,8 +49,7 @@
 /**
  * Display JavaScript on the page.
  *
- * @package WordPress
- * @subpackage Permalink_Settings_Screen
+ * @since 3.5.0
  */
 function options_permalink_add_js() {
 	?>