From 580ee5a1e1a83b57a7e791084bda253715ff551d Mon Sep 17 00:00:00 2001
From: Brad Anderson <eco@gnuk.net>
Date: Thu, 15 Mar 2012 21:46:26 -0600
Subject: [PATCH] Add to phobos "Improve this page" and "Page wiki"

---
 std.ddoc | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/std.ddoc b/std.ddoc
index 246a9e0797..76c0b12e9a 100644
--- a/std.ddoc
+++ b/std.ddoc
@@ -100,6 +100,7 @@ function listanchors()
     $(NAVIGATION_PHOBOS)
 </div><!--/navigation-->
 <div id="content">
+    $(PAGE_TOOLS)
     <h1>$(TITLE)</h1>
     <div id=quickindex class=quickindex></div>
     $(BODY)
@@ -115,6 +116,23 @@ Page generated by $(LINK2 http://www.digitalmars.com/d/2.0/ddoc.html, Ddoc).
 </body>
 </html>
 
+PAGE_TOOLS=
+<div id="tools">
+	<!--span id="lastupdate">Last update $(DATETIME)</span-->
+	<a href="https://github.com/D-Programming-Language/phobos/edit/master/$(SRCFILENAME)" class="tip button">
+		Improve this page
+		<span>
+			Quickly fork, edit online, and submit a pull request for this page.
+			Requires a signed-in GitHub account. This works well for small changes.
+			If you'd like to make larger changes you may want to consider using
+			local clone.
+		</span>
+	</a>
+	<a href="http://www.prowiki.org/wiki4d/wiki.cgi?DocComments/$(WIKI)" class="button">
+		Page wiki
+	</a>
+</div>
+
 GOOGLE_FOOTER=
 <br><br>
 <br><br>