4343
4444function switchUser (string $ eppn , string $ given_name , string $ sn , string $ mail ): void
4545{
46- global $ CONFIG , $ REDIS , $ LDAP , $ SQL , $ MAILER , $ WEBHOOK , $ SITE , $ SSO , $ OPERATOR , $ USER , $ SEND_PIMESG_TO_ADMINS , $ LOC_HEADER , $ LOC_FOOTER ;
46+ global $ CONFIG , $ REDIS , $ LDAP , $ SQL , $ MAILER , $ WEBHOOK , $ GITHUB , $ SITE , $ SSO , $ OPERATOR , $ USER , $ SEND_PIMESG_TO_ADMINS , $ LOC_HEADER , $ LOC_FOOTER ;
4747 session_write_close ();
4848 session_id (str_replace (["_ " , "@ " , ". " ], "- " , $ eppn ));
4949 // session_start will be called on the first post()
@@ -58,7 +58,7 @@ function switchUser(string $eppn, string $given_name, string $sn, string $mail):
5858
5959function post (string $ phpfile , array $ post_data ): void
6060{
61- global $ CONFIG , $ REDIS , $ LDAP , $ SQL , $ MAILER , $ WEBHOOK , $ SITE , $ SSO , $ OPERATOR , $ USER , $ SEND_PIMESG_TO_ADMINS , $ LOC_HEADER , $ LOC_FOOTER ;
61+ global $ CONFIG , $ REDIS , $ LDAP , $ SQL , $ MAILER , $ WEBHOOK , $ GITHUB , $ SITE , $ SSO , $ OPERATOR , $ USER , $ SEND_PIMESG_TO_ADMINS , $ LOC_HEADER , $ LOC_FOOTER ;
6262 $ _SERVER ["REQUEST_METHOD " ] = "POST " ;
6363 $ _POST = $ post_data ;
6464 ob_start ();
@@ -88,3 +88,8 @@ function getUserHasNotRequestedAccountDeletionHasNoGroups()
8888{
89899090}
91+
92+ function getUserHasNoSshKeys ()
93+ {
94+ 95+ }
0 commit comments