Are you curious as to what changed from release 1.5.1.2 to 1.5.1.3 of WordPress (WP)? I was, so I did a recursive diff of all the files. Here are the interesting additions:
diff -r wordpress\wp-admin\post.php wordpress-old\wp-admin\post.php
&g…