/**
  * Produces a list of links to the files uploaded by a user
  *
  * @param $userid int optional id of the user. If 0 then $USER->id is used.
  * @param $return boolean optional defaults to false. If true the list is returned rather than printed
  * @return string optional
  */
 function print_user_files($userid = 0, $return = false)
 {
     $output = parent::print_user_files($userid, true);
     // TODO: Syntax Highlight source code link
     $output .= $this->view_summary($userid);
     if ($return) {
         return $output;
     }
     echo $output;
 }