--- a/wp/wp-includes/session.php	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/session.php	Mon Oct 14 18:28:13 2019 +0200
@@ -8,4 +8,4 @@
 _deprecated_file( basename( __FILE__ ), '4.7.0' );
 
 require_once( ABSPATH . WPINC . '/class-wp-session-tokens.php' );
-require_once( ABSPATH . WPINC . '/class-wp-user-meta-session-tokens.php' );
\ No newline at end of file
+require_once( ABSPATH . WPINC . '/class-wp-user-meta-session-tokens.php' );