From f720a4e56b2e5c60fab536e2d052bd0967b03881 Mon Sep 17 00:00:00 2001 From: Shish Date: Tue, 5 Jan 2010 09:40:26 +0000 Subject: [PATCH] documentation --- ext/ext_manager/main.php | 12 ++++++++---- ext/ext_manager/theme.php | 15 ++++++++++----- ext/index/main.php | 28 +++++++++++++++++++++++++++- 3 files changed, 45 insertions(+), 10 deletions(-) diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php index 78a8deb1..47a10d80 100644 --- a/ext/ext_manager/main.php +++ b/ext/ext_manager/main.php @@ -86,11 +86,11 @@ class ExtManager extends SimpleExtension { } } else { - $this->theme->display_table($page, $this->get_extensions()); + $this->theme->display_table($page, $this->get_extensions(true), true); } } else { - $this->theme->display_permission_denied($page); + $this->theme->display_table($page, $this->get_extensions(false), false); } } @@ -111,12 +111,16 @@ class ExtManager extends SimpleExtension { if($user->is_admin()) { $event->add_link("Extension Manager", make_link("ext_manager")); } + else { + $event->add_link("Help", make_link("ext_manager")); + } } - private function get_extensions() { + private function get_extensions($all) { $extensions = array(); - foreach(glob("contrib/*/main.php") as $main) { + $exts = $all ? glob("contrib/*/main.php") : glob("ext/*/main.php"); + foreach($exts as $main) { $extensions[] = new ExtensionInfo($main); } return $extensions; diff --git a/ext/ext_manager/theme.php b/ext/ext_manager/theme.php index 7bd586a8..ea17c74d 100644 --- a/ext/ext_manager/theme.php +++ b/ext/ext_manager/theme.php @@ -1,7 +1,8 @@ Enabled" : ""; $html = "
- + $en "; @@ -20,20 +21,24 @@ class ExtManagerTheme extends Themelet { $ext_name = $extension->ext_name; $h_name = empty($extension->name) ? $ext_name : html_escape($extension->name); $h_description = html_escape($extension->description); - $h_enabled = $extension->enabled ? " checked='checked'" : ""; + if($extension->enabled === TRUE) $h_enabled = " checked='checked'"; + else if($extension->enabled === FALSE) $h_enabled = ""; + else $h_enabled = " disabled"; $h_link = make_link("ext_doc/".html_escape($extension->ext_name)); $oe = ($n++ % 2 == 0) ? "even" : "odd"; + $en = $editable ? "" : ""; $html .= " - + $en "; } + $set = $editable ? "" : ""; $html .= " - + $set
EnabledNameDescription
NameDescription
$h_name $h_description
"; diff --git a/ext/index/main.php b/ext/index/main.php index 1a4c1853..75f46e4a 100644 --- a/ext/index/main.php +++ b/ext/index/main.php @@ -58,10 +58,36 @@ * - * + * *

Search items can be combined to search for images which match both, * or you can stick "-" in front of an item to search for things that don't * match it. + *

Some search methods provided by extensions: + *

*/ /*