Ticket #35124: 35124.3.diff

src/wp-includes/user.php

@@ -776 +776 @@
 }
 
 /**
+ * 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