original_string: public function notify_message($message) {
          $n = new \core\output\notification($message, \core\output\notification::NOTIFY_INFO);
          return $this->render($n);
      }
code: public function notify_message($message) {
          $n = new \core\output\notification($message, \core\output\notification::NOTIFY_INFO);
          return $this->render($n);
      }
code_tokens: public function notify_message ( $ message ) { $ n = new \ core \ output \ notification ( $ message , \ core \ output \ notification :: NOTIFY_INFO ) ; return $ this -> render ( $ n ) ; }
docstring: Output a nofication.
  
  @param string $message the message to print out
  @return string HTML fragment.
  @see \core\output\notification
docstring_tokens: Output a nofication .