Ticket #24302: 24302.dif

Index: wp-includes/post.php
===================================================================
--- wp-includes/post.php        (revision 24228)
+++ wp-includes/post.php        (working copy)
@@ -1074,7 +1074,7 @@
  *     * While the default settings of exclude_from_search, publicly_queryable, show_ui, and show_in_nav_menus are
  *       inherited from public, each does not rely on this relationship and controls a very specific intention.
  * - exclude_from_search - Whether to exclude posts with this post type from front end search results.
- *     * If not set, the the opposite of public's current value is used.
+ *     * If not set, the opposite of public's current value is used.
  * - publicly_queryable - Whether queries can be performed on the front end for the post type as part of parse_request().
  *     * ?post_type={post_type_key}
  *     * ?{post_type_key}={single_post_slug}
Index: wp-includes/class-wp-theme.php
===================================================================
--- wp-includes/class-wp-theme.php      (revision 24228)
+++ wp-includes/class-wp-theme.php      (working copy)
@@ -87,7 +87,7 @@
        /**
         * The directory name of the theme's files, inside the theme root.
         *
-        * In the case of a child theme, this is directory name of the the child theme.
+        * In the case of a child theme, this is directory name of the child theme.
         * Otherwise, 'stylesheet' is the same as 'template'.
         *
         * @access private
@@ -720,7 +720,7 @@
        /**
         * The directory name of the theme's "stylesheet" files, inside the theme root.
         *
-        * In the case of a child theme, this is directory name of the the child theme.
+        * In the case of a child theme, this is directory name of the child theme.
         * Otherwise, get_stylesheet() is the same as get_template().
         *
         * @since 3.4.0
Index: wp-includes/class-simplepie.php
===================================================================
--- wp-includes/class-simplepie.php     (revision 24228)
+++ wp-includes/class-simplepie.php     (working copy)
@@ -827,7 +827,7 @@
        }
 
        /**
-        * Set the the default timeout for fetching remote feeds
+        * Set the default timeout for fetching remote feeds
         *
         * This allows you to change the maximum time the feed's server to respond
         * and send the feed back.
@@ -3116,4 +3116,4 @@
                }
        }
 }
-endif;
\ No newline at end of file
+endif;
Index: wp-includes/functions.php
===================================================================
--- wp-includes/functions.php   (revision 24228)
+++ wp-includes/functions.php   (working copy)
@@ -2743,7 +2743,7 @@
  * search engines from caching the message. Custom DB messages should do the
  * same.
  *
- * This function was backported to the the WordPress 2.3.2, but originally was
+ * This function was backported to the WordPress 2.3.2, but originally was
  * added in WordPress 2.5.0.
  *
  * @since 2.3.2
Index: wp-includes/formatting.php
===================================================================
--- wp-includes/formatting.php  (revision 24228)
+++ wp-includes/formatting.php  (working copy)
@@ -1913,7 +1913,7 @@
  *
  * @since 1.2.0
  *
- * @uses get_option() to retrieve the the value of 'gmt_offset'.
+ * @uses get_option() to retrieve the value of 'gmt_offset'.
  * @param string $string The date to be converted.
  * @param string $format The format string for the returned date (default is Y-m-d H:i:s)
  * @return string GMT version of the date provided.
@@ -3390,4 +3390,4 @@
  */
 function wp_unslash( $value ) {
        return stripslashes_deep( $value );
-}
\ No newline at end of file
+}
Index: wp-includes/feed.php
===================================================================
--- wp-includes/feed.php        (revision 24228)
+++ wp-includes/feed.php        (working copy)
@@ -391,7 +391,7 @@
                        foreach ( (array) $val as $enc ) {
                                $enclosure = explode("\n", $enc);
 
-                               //only get the the first element eg, audio/mpeg from 'audio/mpeg mpga mp2 mp3'
+                               //only get the first element eg, audio/mpeg from 'audio/mpeg mpga mp2 mp3'
                                $t = preg_split('/[ \t]/', trim($enclosure[2]) );
                                $type = $t[0];
 
Index: wp-includes/class-json.php
===================================================================
--- wp-includes/class-json.php  (revision 24228)
+++ wp-includes/class-json.php  (working copy)
@@ -438,7 +438,7 @@
             case 'array':
                /*
                 * As per JSON spec if any array key is not an integer
-                * we must treat the the whole array as an object. We
+                * we must treat the whole array as an object. We
                 * also try to catch a sparsely populated associative
                 * array with numeric keys here because some JS engines
                 * will create an array with empty indexes up to
@@ -447,8 +447,8 @@
                 * otherwise.
                 *
                 * As per the ECMA and JSON specification an object may
-                * have any string as a property. Unfortunately due to
-                * a hole in the ECMA specification if the key is a
+                * have any string as a property. Unfortunately, due to
+                * a hole in the ECMA specification, if the key is a
                 * ECMA reserved word or starts with a digit the
                 * parameter is only accessible using ECMAScript's
                 * bracket notation.
@@ -933,4 +933,4 @@
     
 }
 
-endif;
\ No newline at end of file
+endif;
Index: wp-admin/includes/widgets.php
===================================================================
--- wp-admin/includes/widgets.php       (revision 24228)
+++ wp-admin/includes/widgets.php       (working copy)
@@ -58,7 +58,7 @@
 
 /**
  * Show the widgets and their settings for a sidebar.
- * Used in the the admin widget config screen.
+ * Used in the admin widget config screen.
  *
  * @since 2.5.0
  *
Index: wp-admin/js/revisions.js
===================================================================
--- wp-admin/js/revisions.js    (revision 24228)
+++ wp-admin/js/revisions.js    (working copy)
@@ -621,7 +621,7 @@
                        }, true );
                },
 
-               // go the the previous revision
+               // go the previous revision
                previousRevision: function() {
                        if ( Diff.rightDiff > 1 ) // unless at left boundry
                                Diff.rightDiff = Diff.rightDiff - 1 ;