link to ext_doc rather than ext_manager, for non-admins

This commit is contained in:
Shish 2010-04-21 18:03:54 +01:00
parent 3eee6f313e
commit 27f0f2c971

View File

@ -121,6 +121,9 @@ class ExtManager extends SimpleExtension {
$info = new ExtensionInfo("contrib/$ext/main.php");
$this->theme->display_doc($page, $info);
}
else {
$this->theme->display_table($page, $this->get_extensions(false), false);
}
}
}
@ -130,7 +133,7 @@ class ExtManager extends SimpleExtension {
$event->add_link("Extension Manager", make_link("ext_manager"));
}
else {
$event->add_link("Help", make_link("ext_manager"));
$event->add_link("Help", make_link("ext_doc"));
}
}