original_string: public static function javascriptRedirectUser($url, $numSeconds = 0)
      {
          $htmlString = '';
              
          $htmlString .= 
              "<script type='text/javascript'>" .
                  "var redirectTime=" . $numSeconds * 1000 . ";" . PHP_EOL .
                  "var redirectURL='" . $url . "';" . PHP_EOL .
                  'setTimeout("location.href = redirectURL;", redirectTime);' . PHP_EOL .
              "</script>";
              
          return $htmlString;
      }
code: public static function javascriptRedirectUser($url, $numSeconds = 0)
      {
          $htmlString = '';
              
          $htmlString .= 
              "<script type='text/javascript'>" .
                  "var redirectTime=" . $numSeconds * 1000 . ";" . PHP_EOL .
                  "var redirectURL='" . $url . "';" . PHP_EOL .
                  'setTimeout("location.href = redirectURL;", redirectTime);' . PHP_EOL .
              "</script>";
              
          return $htmlString;
      }
code_tokens: public static function javascriptRedirectUser ( $ url , $ numSeconds = 0 ) { $ htmlString = '' ; $ htmlString .= "<script type='text/javascript'>" . "var redirectTime=" . $ numSeconds * 1000 . ";" . PHP_EOL . "var redirectURL='" . $ url . "';" . PHP_EOL . 'setTimeout("location.href = redirectURL;", redirectTime);' . PHP_EOL . "</script>" ; return $ htmlString ; }
docstring: Allows us to re-direct the user using javascript when headers have
  already been submitted.
  
  @param string url that we want to re-direct the user to.
  @param int numSeconds - optional integer specifying the number of
  seconds to delay.
  
  @return htmlString - the html to print out in order to redirect the user.
docstring_tokens: Allows us to re - direct the user using javascript when headers have already been submitted .