james/fembooru
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Extension Manager part 1

Browse Source 
git-svn-id: file:///home/shish/svn/shimmie2/trunk@618 7f39781d-f577-437e-ae19-be835c7a54ca
This commit is contained in:
shish 2007-12-02 17:50:03 +00:00
parent 6bfde75600
commit cf68910da1
2 changed files with 100 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

57
contrib/ext_manager/main.php Normal file
View File

@ -0,0 +1,57 @@
<?php
/**
* Name: Extension Manager
* Author: Shish <webmaster@shishnet.org>
* Link: http://trac.shishnet.org/shimmie2/
* License: GPLv2
* Description: A thing for point & click extension management
*/
class ExtManager extends Extension {
var $theme;
public function receive_event($event) {
if(is_null($this->theme)) $this->theme = get_theme_object("ext_manager", "ExtManagerTheme");
if(is_a($event, 'PageRequestEvent') && ($event->page_name == "ext_manager")) {
if($event->user->is_admin()) {
$this->theme->display_table($event->page, $this->get_extensions());
}
}
if(is_a($event, 'UserBlockBuildingEvent')) {
if($event->user->is_admin()) {
$event->add_link("Extension Manager", make_link("ext_manager"));
}
}
}
private function get_extensions() {
$extensions = array();
foreach(glob("contrib/*/main.php") as $main) {
$extension = array();
$matches = array();
$data = file_get_contents($main);
preg_match("#contrib/(.*)/main.php#", $main, $matches);
$extension["ext_name"] = $matches[1];
preg_match("/Name: (.*)/", $data, $matches);
$extension["name"] = $matches[1];
preg_match("/Link: (.*)/", $data, $matches);
$extension["link"] = $matches[1];
preg_match("/Author: (.*) <(.*)>/", $data, $matches);
$extension["author"] = $matches[1];
$extension["email"] = $matches[2];
preg_match("/Description: (.*)/", $data, $matches);
$extension["description"] = $matches[1];
$extension["enabled"] = $this->is_enabled($extension["ext_name"]);
$extensions[] = $extension;
}
return $extensions;
}
private function is_enabled($fname) {
return file_exists("ext/$fname");
}
}
add_event_listener(new ExtManager());
?>

43
contrib/ext_manager/theme.php Normal file
View File

@ -0,0 +1,43 @@
<?php
class ExtManagerTheme extends Themelet {
public function display_table($page, $extensions) {
$html = "
<form action='' method='POST'>
<table border='1'>
<tr><th>Name</th><th>Author</th><th>Description</th><th>Enabled</th></tr>
";
foreach($extensions as $extension) {
$ext_name = $extension["ext_name"];
$h_name = empty($extension["name"]) ? $ext_name : html_escape($extension["name"]);
$h_email = html_escape($extension["email"]);
$h_link = html_escape($extension["link"]);
$h_author = html_escape($extension["author"]);
$h_description = html_escape($extension["description"]);
$h_enabled = $extension["enabled"] ? " checked='checked'" : "";
$html .= "
<tr>
" . (
empty($h_link) ?
"<td>$h_name</td>" :
"<td><a href='$h_link'>$h_name</a></td>"
) . "
<td><a href='mailto:$h_email'>$h_author</a></td>
<td>$h_description</td>
<td>
<input type='checkbox' name='ext_$ext_name'$h_enabled>
</td>
</tr>";
}
$html .= "
</table>
</form>
";
$page->set_title("Extensions");
$page->set_heading("Extensions");
$page->add_block(new NavBlock());
$page->add_block(new Block("Extension Manager", $html));
}
}
?>