Set a custom page title for PMPro Member Directory Profile pages

my_pmpromd_filter_document_title.php

<?php
/**
 * Set a custom page title for PMPro Member Directory Profile pages
 *
 * You can add this recipe to your site by creating a custom plugin
 * or using the Code Snippets plugin available for free in the WordPress repository.
 * Read this companion article for step-by-step directions on either method.
 * https://www.paidmembershipspro.com/create-a-plugin-for-pmpro-customizations/
 */

function my_pmpromd_filter_document_title( $title ) {
	global $pmpro_pages;
	
	// Bail if we're not on the profile page.
	if ( empty( $pmpro_pages['profile'] ) || ! is_page( $pmpro_pages['profile'] ) ) {
		return;
	}

	$site_title = get_bloginfo( 'name' );
	
	$pu = pmpromd_get_user();

	$display_name = pmpro_member_directory_get_member_display_name( $pu );
	
	$title = $display_name . ' - ' . $site_title;
	
    return $title;
}
add_filter( 'pre_get_document_title', 'my_pmpromd_filter_document_title' );