Index: src/wp-includes/user.php
===================================================================
--- src/wp-includes/user.php	(revision 59109)
+++ src/wp-includes/user.php	(working copy)
@@ -776,6 +776,19 @@
 }
 
 /**
+ * Retrieves user info by user ID.
+ *
+ * @since 6.7
+ *
+ * @param int $user_id User ID.
+ *
+ * @return WP_User|false WP_User object on success, false on failure.
+ */
+function get_user( $user_id ) {
+	return get_user_by( 'id', $user_id );
+}
+
+/**
  * Retrieves list of users matching criteria.
  *
  * @since 3.1.0