Restyle Updates #135

Merged
restyled-io[bot] merged 3 commits from restyled/main into main 2020-09-05 15:43:49 +00:00
2 changed files with 2 additions and 2 deletions
Showing only changes of commit f7d56f09f3 - Show all commits

View File

@@ -14,4 +14,4 @@ OIDC_CLIENT_ID = ""
OIDC_CLIENT_SECRET = ""
OIDC_DISABLE_SSL = ""
SENTRY_ENVIRONMENT = ""
SENTRY_ENVIRONMENT = ""

View File

@@ -15,7 +15,7 @@
$_SESSION['full_name'] = $fname . " " . $lname;
$_SESSION['email'] = $email;
}
function is_signed_in()
{
if (isset($_SESSION['is_signed_in'])) {