user_profile_renamed


Description:

public void user_profile_renamed (string original_profile_name, string new_profile_name)