diff --git a/manage_user_edit_page.php b/manage_user_edit_page.php index 812d276fa7..3a22d0e45f 100644 --- a/manage_user_edit_page.php +++ b/manage_user_edit_page.php @@ -80,6 +80,10 @@ } $t_user = user_get_row( $t_user_id ); +if( !$t_user ) { + error_parameters( $t_user_id ); + trigger_error( ERROR_USER_BY_ID_NOT_FOUND, ERROR); +} # Ensure that the account to be updated is of equal or lower access to the # current user.