--- a/wp/wp-includes/feed-rss.php	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/feed-rss.php	Mon Oct 14 18:28:13 2019 +0200
@@ -5,19 +5,16 @@
  * @package WordPress
  */
 
-header('Content-Type: ' . feed_content_type('rss') . '; charset=' . get_option('blog_charset'), true);
+header( 'Content-Type: ' . feed_content_type( 'rss' ) . '; charset=' . get_option( 'blog_charset' ), true );
 $more = 1;
 
-echo '<?xml version="1.0" encoding="'.get_option('blog_charset').'"?'.'>'; ?>
+echo '<?xml version="1.0" encoding="' . get_option( 'blog_charset' ) . '"?' . '>'; ?>
 <rss version="0.92">
 <channel>
 	<title><?php wp_title_rss(); ?></title>
-	<link><?php bloginfo_rss('url') ?></link>
-	<description><?php bloginfo_rss('description') ?></description>
-	<lastBuildDate><?php
-		$date = get_lastpostmodified( 'GMT' );
-		echo $date ? mysql2date( 'D, d M Y H:i:s +0000', $date ) : date( 'D, d M Y H:i:s +0000' );
-	?></lastBuildDate>
+	<link><?php bloginfo_rss( 'url' ); ?></link>
+	<description><?php bloginfo_rss( 'description' ); ?></description>
+	<lastBuildDate><?php echo get_feed_build_date( 'D, d M Y H:i:s +0000' ); ?></lastBuildDate>
 	<docs>http://backend.userland.com/rss092</docs>
 	<language><?php bloginfo_rss( 'language' ); ?></language>
 
@@ -30,11 +27,14 @@
 	do_action( 'rss_head' );
 	?>
 
-<?php while (have_posts()) : the_post(); ?>
+<?php
+while ( have_posts() ) :
+	the_post();
+	?>
 	<item>
-		<title><?php the_title_rss() ?></title>
-		<description><![CDATA[<?php the_excerpt_rss() ?>]]></description>
-		<link><?php the_permalink_rss() ?></link>
+		<title><?php the_title_rss(); ?></title>
+		<description><![CDATA[<?php the_excerpt_rss(); ?>]]></description>
+		<link><?php the_permalink_rss(); ?></link>
 		<?php
 		/**
 		 * Fires at the end of each RSS feed item.