woothemes / sensei

        // get the user details

        $user = get_user_by( 'id', $user_id );

        if( ! empty( $user->first_name  ) && ! empty( $user->last_name  )  ){

            $full_name = trim( $user->first_name   ) . ' ' . trim( $user->last_name  );

        }else{

            $full_name =  $user->display_name;

        }

        /**

         * Filter the user full name from the get_learner_full_name function.

     */

    public function get_user_public_name( $user ){

        if (!empty($user->first_name) && !empty($user->last_name)) {

            $user_public_name = $user->first_name . ' ' . $user->last_name;

        }

        else {

            $user_public_name = $user->display_name;

        }

        return $user_public_name;

    }