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",
19 title: "Edit the page"});
20 $(editButton).click(function () {
25 = $.P({className: "redirection"},
26 "This page is redirected from", editButton);
28 $("div.title").after(box);