wrong date used in wp-rss2.php

[face]

the pubDate RSS item contains a date specified to be in GMT, but the date inserted is not the GMT date of the post

get_the_time function needs to be "fixed" to add a GMT parameter

[anonymousbugger]

see: #0000924

[jesse]

Maybe we should use get_post_time($timestr, true) instead of get_the_time($timestr)?

--- wp-rss2.php (revision 85)
+++ wp-rss2.php (working copy)
@@ -33,7 +33,7 @@

<title><?php the_title_rss() ?></title>
<link><?php permalink_single_rss() ?></link>
<comments><?php comments_link(); ?></comments>

• <pubDate><?php echo mysql2date('D, d M Y H:i:s +0000', get_the_time('Y-m-d H:i:s'), false); ?></pubDate>

+ <pubDate><?php echo mysql2date('D, d M Y H:i:s +0000', get_post_time('Y-m-d H:i:s', true), false); ?></pubDate>

<dc:creator><?php the_author() ?></dc:creator>
<?php the_category_rss() ?>

[ryan]

​http://trac.wordpress.org/changeset/2373