format

2019-11-04 00:42:06 +00:00
parent d17e207984
commit f79eafc91e
11 changed files with 32 additions and 46 deletions
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@ -60,14 +60,13 @@ class ExtManager extends Extension
        }

        if ($event->page_matches("ext_doc")) {
-            if($event->count_args() == 1) {
+            if ($event->count_args() == 1) {
                $ext = $event->get_arg(0);
                if (file_exists("ext/$ext/info.php")) {
                    $info = ExtensionInfo::get_by_key($ext);
                    $this->theme->display_doc($page, $info);
                }
-            }
-            else {
+            } else {
                $this->theme->display_table($page, $this->get_extensions(false), false);
            }
        }