original_string: public static function plain_redirect_message($encodedurl) {
          $message = '<div style="margin-top: 3em; margin-left:auto; margin-right:auto; text-align:center;">' . get_string('pageshouldredirect') . '<br /><a href="'.
                  $encodedurl .'">'. get_string('continue') .'</a></div>';
          return self::plain_page(get_string('redirect'), $message);
      }
code: public static function plain_redirect_message($encodedurl) {
          $message = '<div style="margin-top: 3em; margin-left:auto; margin-right:auto; text-align:center;">' . get_string('pageshouldredirect') . '<br /><a href="'.
                  $encodedurl .'">'. get_string('continue') .'</a></div>';
          return self::plain_page(get_string('redirect'), $message);
      }
code_tokens: public static function plain_redirect_message ( $ encodedurl ) { $ message = '<div style="margin-top: 3em; margin-left:auto; margin-right:auto; text-align:center;">' . get_string ( 'pageshouldredirect' ) . '<br /><a href="' . $ encodedurl . '">' . get_string ( 'continue' ) . '</a></div>' ; return self :: plain_page ( get_string ( 'redirect' ) , $ message ) ; }
docstring: Page should redirect message.
  @static
  @param string $encodedurl redirect url
  @return string
docstring_tokens: Page should redirect message .