diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php index 2983b35e..8548b382 100644 --- a/ext/ext_manager/main.php +++ b/ext/ext_manager/main.php @@ -76,6 +76,9 @@ class ExtManager implements Extension { $this->theme->display_table($event->page, $this->get_extensions()); } } + else { + $this->theme->display_permission_denied($event->page); + } } if($event instanceof UserBlockBuildingEvent) {