WordPress/wp-includes/session.php

<?php
/**
 * Session API
 *
 * @since 4.0.0
 */

require_once( ABSPATH . WPINC . '/class-wp-session-tokens.php' );
require_once( ABSPATH . WPINC . '/class-wp-user-meta-session-tokens.php' );