diff options
author | Andrew Dolgov <[email protected]> | 2021-11-15 06:52:10 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2021-11-15 06:52:10 +0300 |
commit | b281854258d2db8926881227cdfa0decce777c8e (patch) | |
tree | d5ded01b2bdfc48f0f2a5109a24b5f37373e105d | |
parent | 4696bbebe6c775434b13890a46e4d687ae2fe952 (diff) |
fix phpstan warnings
-rw-r--r-- | init.php | 6 |
1 files changed, 1 insertions, 5 deletions
@@ -1,8 +1,6 @@ <?php class Profile_Chooser extends Plugin { - private $host; - function about() { return array(null, "Adds a profile chooser to the main toolbar", @@ -10,8 +8,6 @@ class Profile_Chooser extends Plugin { } function init($host) { - $this->host = $host; - $host->add_hook($host::HOOK_MAIN_TOOLBAR_BUTTON, $this); } @@ -19,7 +15,7 @@ class Profile_Chooser extends Plugin { return file_get_contents(__DIR__ . "/init.js"); } - function getprofile() { + function getprofile() : void { print json_encode(["profile" => $_SESSION["profile"] ?? 0]); } |