Removes old unused cookie code

public_html/pages/login.php

@@ -35,18 +35,6 @@ try {
             }
 
             // set session lifetime and cookies
-// FIXME: need to set this before session start (otherwise we need the separate cookie)
-//            ini_set('session.gc_maxlifetime', $gc_maxlifetime);
-//            session_set_cookie_params([
-//                'lifetime' => $setcookie_lifetime,
-//                'samesite' => 'Strict',
-//                'httponly' => true,
-//                'secure' => isset($_SERVER['HTTPS']),
-//                'domain' => $config['domain'],
-//                'path' => $config['folder']
-//            ]);
-//            session_start();
-// FIXME we use separate cookie, because the above won't work
             setcookie('username', $username, [
                 'expires'	=> $setcookie_lifetime,
                 'path'		=> $config['folder'],