Ticket #5196: minor-edit.patch

wp-includes/post.php

@@ -1369 +1369 @@
         }
 
         if ( $update || '0000-00-00 00:00:00' == $post_date ) {
-                $post_modified     = current_time( 'mysql' );
-                $post_modified_gmt = current_time( 'mysql', 1 );
+                if ( true != $minor_edit ) {
+                        $post_modified     = current_time( 'mysql' );
+                        $post_modified_gmt = current_time( 'mysql', 1 );
+                }
         } else {
                 $post_modified     = $post_date;
                 $post_modified_gmt = $post_date_gmt;

wp-admin/edit-form-advanced.php

@@ -151 +151 @@
 </div>
 
 <p class="submit">
+<?php if ( $post->post_status == 'publish' ) : ?>
+<input id="minor_edit_checkbox" name="minor_edit" type="checkbox" value="minor_edit" />
+<?php _e('Minor edit') ?><br/>
+<?php endif; ?>
 <input type="submit" name="save" id="save-post" value="<?php _e('Save'); ?>" tabindex="4" class="button button-highlighted" />
 <?php
 if ( !in_array( $post->post_status, array('publish', 'future') ) || 0 == $post_ID ) {