only show extension docs if the extension exists

This commit is contained in:
Shish 2010-03-22 03:58:14 +00:00
parent f4cbd8b24f
commit 7a56a9c819

View file

@ -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);
}
}