234 lines
		
	
	
		
			7.6 KiB
		
	
	
	
		
			PHP
		
	
	
	
	
	
			
		
		
	
	
			234 lines
		
	
	
		
			7.6 KiB
		
	
	
	
		
			PHP
		
	
	
	
	
	
| <?php
 | |
| /**
 | |
|  * Name: Extension Manager
 | |
|  * Author: Shish <webmaster@shishnet.org>
 | |
|  * Link: http://code.shishnet.org/shimmie2/
 | |
|  * License: GPLv2
 | |
|  * Visibility: admin
 | |
|  * Description: A thing for point & click extension management
 | |
|  * Documentation:
 | |
|  *   Allows the admin to view a list of all extensions and enable or
 | |
|  *   disable them; also allows users to view the list of activated
 | |
|  *   extensions and read their documentation
 | |
|  */
 | |
| 
 | |
| function __extman_extcmp(ExtensionInfo $a, ExtensionInfo $b): int
 | |
| {
 | |
|     return strcmp($a->name, $b->name);
 | |
| }
 | |
| 
 | |
| class ExtensionInfo
 | |
| {
 | |
|     public $ext_name;
 | |
|     public $name;
 | |
|     public $link;
 | |
|     public $authors;
 | |
|     public $description;
 | |
|     public $documentation;
 | |
|     public $version;
 | |
|     public $visibility;
 | |
|     public $enabled;
 | |
| 
 | |
|     public function __construct($main)
 | |
|     {
 | |
|         $matches = [];
 | |
|         $lines = file($main);
 | |
|         $number_of_lines = count($lines);
 | |
|         preg_match("#ext/(.*)/main.php#", $main, $matches);
 | |
|         $this->ext_name = $matches[1];
 | |
|         $this->name = $this->ext_name;
 | |
|         $this->enabled = $this->is_enabled($this->ext_name);
 | |
|         $this->authors = [];
 | |
| 
 | |
|         for ($i = 0; $i < $number_of_lines; $i++) {
 | |
|             $line = $lines[$i];
 | |
|             if (preg_match("/Name: (.*)/", $line, $matches)) {
 | |
|                 $this->name = $matches[1];
 | |
|             } elseif (preg_match("/Visibility: (.*)/", $line, $matches)) {
 | |
|                 $this->visibility = $matches[1];
 | |
|             } elseif (preg_match("/Link: (.*)/", $line, $matches)) {
 | |
|                 $this->link = $matches[1];
 | |
|                 if ($this->link[0] == "/") {
 | |
|                     $this->link = make_link(substr($this->link, 1));
 | |
|                 }
 | |
|             } elseif (preg_match("/Version: (.*)/", $line, $matches)) {
 | |
|                 $this->version = $matches[1];
 | |
|             } elseif (preg_match("/Authors?: (.*)/", $line, $matches)) {
 | |
|                 $author_list = explode(',', $matches[1]);
 | |
|                 foreach ($author_list as $author) {
 | |
|                     if (preg_match("/(.*) [<\(](.*@.*)[>\)]/", $author, $matches)) {
 | |
|                         $this->authors[] = new ExtensionAuthor($matches[1], $matches[2]);
 | |
|                     } else {
 | |
|                         $this->authors[] = new ExtensionAuthor($author, null);
 | |
|                     }
 | |
|                 }
 | |
| 
 | |
| 
 | |
|             } elseif (preg_match("/(.*)Description: ?(.*)/", $line, $matches)) {
 | |
|                 $this->description = $matches[2];
 | |
|                 $start = $matches[1] . " ";
 | |
|                 $start_len = strlen($start);
 | |
|                 while (substr($lines[$i + 1], 0, $start_len) == $start) {
 | |
|                     $this->description .= " " . substr($lines[$i + 1], $start_len);
 | |
|                     $i++;
 | |
|                 }
 | |
|             } elseif (preg_match("/(.*)Documentation: ?(.*)/", $line, $matches)) {
 | |
|                 $this->documentation = $matches[2];
 | |
|                 $start = $matches[1] . " ";
 | |
|                 $start_len = strlen($start);
 | |
|                 while (substr($lines[$i + 1], 0, $start_len) == $start) {
 | |
|                     $this->documentation .= " " . substr($lines[$i + 1], $start_len);
 | |
|                     $i++;
 | |
|                 }
 | |
|                 $this->documentation = str_replace('$site', make_http(get_base_href()), $this->documentation);
 | |
|             } elseif (preg_match("/\*\//", $line, $matches)) {
 | |
|                 break;
 | |
|             }
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     private function is_enabled(string $fname): ?bool
 | |
|     {
 | |
|         $core = explode(",", CORE_EXTS);
 | |
|         $extra = explode(",", EXTRA_EXTS);
 | |
| 
 | |
|         if (in_array($fname, $extra)) {
 | |
|             return true;
 | |
|         } // enabled
 | |
|         if (in_array($fname, $core)) {
 | |
|             return null;
 | |
|         } // core
 | |
|         return false; // not enabled
 | |
|     }
 | |
| }
 | |
| 
 | |
| class ExtensionAuthor
 | |
| {
 | |
|     public $name;
 | |
|     public $email;
 | |
| 
 | |
|     public function __construct(string $name, string $email)
 | |
|     {
 | |
|         $this->name = $name;
 | |
|         $this->email = $email;
 | |
|     }
 | |
| }
 | |
| 
 | |
| class ExtManager extends Extension
 | |
| {
 | |
|     public function onPageRequest(PageRequestEvent $event)
 | |
|     {
 | |
|         global $page, $user;
 | |
|         if ($event->page_matches("ext_manager")) {
 | |
|             if ($user->can("manage_extension_list")) {
 | |
|                 if ($event->get_arg(0) == "set" && $user->check_auth_token()) {
 | |
|                     if (is_writable("data/config")) {
 | |
|                         $this->set_things($_POST);
 | |
|                         log_warning("ext_manager", "Active extensions changed", "Active extensions changed");
 | |
|                         $page->set_mode("redirect");
 | |
|                         $page->set_redirect(make_link("ext_manager"));
 | |
|                     } else {
 | |
|                         $this->theme->display_error(
 | |
|                             500,
 | |
|                             "File Operation Failed",
 | |
|                             "The config file (data/config/extensions.conf.php) isn't writable by the web server :("
 | |
|                         );
 | |
|                     }
 | |
|                 } else {
 | |
|                     $this->theme->display_table($page, $this->get_extensions(true), true);
 | |
|                 }
 | |
|             } else {
 | |
|                 $this->theme->display_table($page, $this->get_extensions(false), false);
 | |
|             }
 | |
|         }
 | |
| 
 | |
|         if ($event->page_matches("ext_doc")) {
 | |
|             $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 {
 | |
|                 $this->theme->display_table($page, $this->get_extensions(false), false);
 | |
|             }
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     public function onCommand(CommandEvent $event)
 | |
|     {
 | |
|         if ($event->cmd == "help") {
 | |
|             print "\tdisable-all-ext\n";
 | |
|             print "\t\tdisable all extensions\n\n";
 | |
|         }
 | |
|         if ($event->cmd == "disable-all-ext") {
 | |
|             $this->write_config([]);
 | |
|         }
 | |
|     }
 | |
| 
 | |
| 
 | |
|     public function onUserBlockBuilding(UserBlockBuildingEvent $event)
 | |
|     {
 | |
|         global $user;
 | |
|         if ($user->can("manage_extension_list")) {
 | |
|             $event->add_link("Extension Manager", make_link("ext_manager"));
 | |
|         } else {
 | |
|             $event->add_link("Help", make_link("ext_doc"));
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     /**
 | |
|      * #return ExtensionInfo[]
 | |
|      */
 | |
|     private function get_extensions(bool $all): array
 | |
|     {
 | |
|         $extensions = [];
 | |
|         if ($all) {
 | |
|             $exts = zglob("ext/*/main.php");
 | |
|         } else {
 | |
|             $exts = zglob("ext/{" . ENABLED_EXTS . "}/main.php");
 | |
|         }
 | |
|         foreach ($exts as $main) {
 | |
|             $extensions[] = new ExtensionInfo($main);
 | |
|         }
 | |
|         usort($extensions, "__extman_extcmp");
 | |
|         return $extensions;
 | |
|     }
 | |
| 
 | |
|     private function set_things($settings)
 | |
|     {
 | |
|         $core = explode(",", CORE_EXTS);
 | |
|         $extras = [];
 | |
| 
 | |
|         foreach (glob("ext/*/main.php") as $main) {
 | |
|             $matches = [];
 | |
|             preg_match("#ext/(.*)/main.php#", $main, $matches);
 | |
|             $fname = $matches[1];
 | |
| 
 | |
|             if (!in_array($fname, $core) && isset($settings["ext_$fname"])) {
 | |
|                 $extras[] = $fname;
 | |
|             }
 | |
|         }
 | |
| 
 | |
|         $this->write_config($extras);
 | |
|     }
 | |
| 
 | |
|     /**
 | |
|      * #param string[] $extras
 | |
|      */
 | |
|     private function write_config(array $extras)
 | |
|     {
 | |
|         file_put_contents(
 | |
|             "data/config/extensions.conf.php",
 | |
|             '<' . '?php' . "\n" .
 | |
|             'define("EXTRA_EXTS", "' . implode(",", $extras) . '");' . "\n" .
 | |
|             '?' . ">"
 | |
|         );
 | |
| 
 | |
|         // when the list of active extensions changes, we can be
 | |
|         // pretty sure that the list of who reacts to what will
 | |
|         // change too
 | |
|         if (file_exists("data/cache/event_listeners.php")) {
 | |
|             unlink("data/cache/event_listeners.php");
 | |
|         }
 | |
|     }
 | |
| }
 |