Searched refs:serverPort (Results 1 – 1 of 1) sorted by relevance
143 $serverPort = $_SERVER['SERVER_PORT'] ?? ''; variable144 define('DOKU_COOKIE', 'DW' . md5(DOKU_REL . (($conf['securecookie']) ? $serverPort : '')));145 unset($serverPort);