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