From 93ef3abbee70a7fbb88ed956ec46485ebb475131 Mon Sep 17 00:00:00 2001
From: Shish <webmaster@shishnet.org>
Date: Thu, 15 Jan 2009 21:43:09 -0800
Subject: [PATCH] link to the doc by default

---
 ext/ext_manager/main.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php
index 245ca4bc..011c2504 100644
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@@ -17,6 +17,7 @@ class ExtensionInfo { // {{{
 		$this->ext_name = $matches[1];
 		$this->name = $this->ext_name;
 		$this->enabled = $this->is_enabled($this->ext_name);
+		$this->link = make_link("ext_doc/{$this->ext_name}");
 
 		for($i=0; $i<count($lines); $i++) {
 			$line = $lines[$i];