/** * Page extensions */ public function page_extensions() { $this->plugin->display('admin/extensions.php'); }