--- a/wp/wp-includes/class-wp-session-tokens.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-includes/class-wp-session-tokens.php	Tue Dec 15 13:49:49 2020 +0100
@@ -143,7 +143,7 @@
 			$session['ua'] = wp_unslash( $_SERVER['HTTP_USER_AGENT'] );
 		}
 
-		// Timestamp
+		// Timestamp.
 		$session['login'] = time();
 
 		$token = wp_generate_password( 43, false, false );