PHP Tricks and Best Practices?
sunkencity: if speed of execution is relevant, just use echo (which takes any number of arguments), and single quoted strings (concatenating, or parsing double quoted strings is slower):function user_profile_link ($user) {
  echo '<a href="/user/', 
        $user->profile, 
        '">', $user->name, 
        '</a>';
    }