js/redirection.js

   1 $(document).ready(function () {
   2
   3     var from = Rakka.getHashedParam("Redirect");
   4
   5     if (from != null) {
   6         var editButton
   7             = $.INPUT({className: "editButton",
   8                        type:      "button",
   9                        value:     "Edit the page"});
  10         $(editButton).click(function () {
  11             Rakka.editPage(from);
  12         });
  13
  14         var box
  15             = $.P({className: "redirection"},
  16                   "This page has been redirected from “" + from + "”.", editButton);
  17
  18         $("div.title").after(box);
  19     }
  20
  21 });