jump

• Name:

  • back - jump back to a previous page
  • to - jump to a new page with specified url
  • refresh - refresh the current page

• Synopsis:

  • jump::back($negative_number)
  • jump::to($url)
  • jump::refresh()

• Description:

  • back:

    • redirect to history visits (input data saved)

    • jump::back(-n);  // -n is a negative integer

    • change to the n-th last history page

    • takes negative parameters, otherwise sends an error message

  • to:

    • redirect to an url

    • jump::to('https://www.google.com');

    • change to google.com

  • refresh:

    • refresh the current page

    • jump::refresh();

    • takes no parameter