From 7a56a9c8196861e5f6115f30e490c93aee301d29 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Mon, 22 Mar 2010 03:58:14 +0000
Subject: [PATCH] only show extension docs if the extension exists

---
 ext/ext_manager/main.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php
index a4bc6918..11224414 100644
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@@ -115,11 +115,12 @@ class ExtManager extends SimpleExtension {
 			$ext = $event->get_arg(0);
 			if(file_exists("ext/$ext/main.php")) {
 				$info = new ExtensionInfo("ext/$ext/main.php");
+				$this->theme->display_doc($page, $info);
 			}
-			else {
+			else if(file_exists("contrib/$ext/main.php")) {
 				$info = new ExtensionInfo("contrib/$ext/main.php");
+				$this->theme->display_doc($page, $info);
 			}
-			$this->theme->display_doc($page, $info);
 		}
 	}