Ticket #33800: 33800.diff

src/wp-admin/includes/user.php

@@ -272 +272 @@
  */
 function wp_delete_user( $id, $reassign = null ) {
         global $wpdb;
-
+        if ( ! is_numeric( $id )  ){
+                return false;
+        }
         $id = (int) $id;
         $user = new WP_User( $id );