original_string: protected function minimise_user_record(\stdClass $user) {
          // We store large amount of users in one huge array, make sure we do not store info there we do not actually
          // need in mail generation code or messaging.
          unset($user->institution);
          unset($user->department);
          unset($user->address);
          unset($user->city);
          unset($user->url);
          unset($user->currentlogin);
          unset($user->description);
          unset($user->descriptionformat);
      }
code: protected function minimise_user_record(\stdClass $user) {
          // We store large amount of users in one huge array, make sure we do not store info there we do not actually
          // need in mail generation code or messaging.
          unset($user->institution);
          unset($user->department);
          unset($user->address);
          unset($user->city);
          unset($user->url);
          unset($user->currentlogin);
          unset($user->description);
          unset($user->descriptionformat);
      }
code_tokens: protected function minimise_user_record ( \ stdClass $ user ) { // We store large amount of users in one huge array, make sure we do not store info there we do not actually // need in mail generation code or messaging. unset ( $ user -> institution ) ; unset ( $ user -> department ) ; unset ( $ user -> address ) ; unset ( $ user -> city ) ; unset ( $ user -> url ) ; unset ( $ user -> currentlogin ) ; unset ( $ user -> description ) ; unset ( $ user -> descriptionformat ) ; }
docstring: Removes properties from user record that are not necessary for sending post notifications.
  
  @param   \stdClass   $user
docstring_tokens: Removes properties from user record that are not necessary for sending post notifications .