shimmie2/ext/ext_manager/main.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 $author;
    public $email;
    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);

        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("/Author: (.*) [<\(](.*@.*)[>\)]/", $line, $matches)) {
                $this->author = $matches[1];
                $this->email = $matches[2];
            } elseif (preg_match("/Author: (.*)/", $line, $matches)) {
                $this->author = $matches[1];
            } 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 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");
        }
    }
}