1 $(document).ready(function () {
4 if ($.browser.mozilla) {
5 fragment = window.location.hash; // 何故か勝手に URI デコードされる
8 fragment = decodeURIComponent(window.location.hash);
11 var m = fragment.match(/^#Redirect:(.*)$/);
16 = $.INPUT({className: "editButton",
18 value: "Edit the page"});
19 $(editButton).click(function () {
24 = $.P({className: "redirection"},
25 "This page has been redirected from “" + from + "”.", editButton);
27 $("div.title").after(box);