+$(document).ready(function () {
+ var fragment;
+
+ if ($.browser.mozilla) {
+ fragment = window.location.hash; // 何故か勝手に URI デコードされる
+ }
+ else {
+ fragment = decodeURIComponent(window.location.hash);
+ }
+
+ var m = fragment.match(/^#Redirect:(.*)$/);
+ if (m) {
+ var from = m[1];
+
+ var editButton
+ = $.INPUT({className: "editButton",
+ type: "button",
+ value: from,
+ title: "Edit the page"});
+ $(editButton).click(function () {
+ alert("not implemented");
+ });
+
+ var box
+ = $.P({className: "redirection"},
+ "This page is redirected from ", editButton, ".");
+
+ $("div.title").after(box);
+ }
+});
\ No newline at end of file