--- a/wp/wp-includes/class-wp-simplepie-file.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-includes/class-wp-simplepie-file.php	Tue Dec 15 13:49:49 2020 +0100
@@ -51,7 +51,7 @@
 				$args['headers'] = $this->headers;
 			}
 
-			if ( SIMPLEPIE_USERAGENT != $this->useragent ) { //Use default WP user agent unless custom has been specified
+			if ( SIMPLEPIE_USERAGENT != $this->useragent ) { // Use default WP user agent unless custom has been specified.
 				$args['user-agent'] = $this->useragent;
 			}