--- a/wp/wp-includes/session.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-includes/session.php	Tue Dec 15 13:49:49 2020 +0100
@@ -3,9 +3,10 @@
  * Session API
  *
  * @since 4.0.0
+ * @deprecated 4.7.0
  */
 
 _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' );
+require_once ABSPATH . WPINC . '/class-wp-session-tokens.php';
+require_once ABSPATH . WPINC . '/class-wp-user-meta-session-tokens.php';