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

see: #0000924

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() ?>

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