summaryrefslogtreecommitdiff
path: root/include/sessions.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2021-11-12 09:59:57 +0300
committerAndrew Dolgov <[email protected]>2021-11-12 09:59:57 +0300
commit0a059d9948c169f6a57b13d8d5039468d3e4de7c (patch)
treedfabcd5af08a6b1aec26e6f2d41babb518455982 /include/sessions.php
parent111895a34211bb58d64797edd17e9b335874c1da (diff)
WIP: fix most of phpstan level 6 warnings
Diffstat (limited to 'include/sessions.php')
-rw-r--r--include/sessions.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/include/sessions.php b/include/sessions.php
index aa0cd94..e92a7d9 100644
--- a/include/sessions.php
+++ b/include/sessions.php
@@ -26,7 +26,7 @@
ini_get("session.cookie_secure"),
ini_get("session.cookie_httponly"));
- function validate_session() {
+ function validate_session() : bool {
if (!empty($_SESSION["owner"])) {
$user = ORM::for_table('epube_users')
@@ -41,7 +41,7 @@
return false;
}
- function logout_user() {
+ function logout_user() : void {
if (session_status() == PHP_SESSION_ACTIVE) {
session_destroy();