$(document).ready(function () {

    var from = Rakka.getHashedParam("Redirect");

    if (from != null) {
        var editButton
            = $.INPUT({className: "editButton",
                       type:      "button",
                       value:     "Edit the page"});
        $(editButton).click(function () {
            Rakka.editPage(from);
        });

        var box
            = $.P({className: "redirection"},
                  "This page has been redirected from “" + from + "”.", editButton);

        $("div.title").after(box);
    }

});