diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2009-10-28 07:38:45 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2009-10-28 07:38:45 +0100 |
commit | d6cff842056275da0ccc229e4f23a35b2521c9d0 (patch) | |
tree | cb44dfdc8430501da8c210688734569804825928 | |
parent | 3cf4f85208972fdda1c38e03ed8559088cd0c704 (diff) |
set cookie for whole domain which is needed for pretty URLs
-rw-r--r-- | extensions/FunnyDot.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/extensions/FunnyDot.php b/extensions/FunnyDot.php index 57b6418d..b45b8681 100644 --- a/extensions/FunnyDot.php +++ b/extensions/FunnyDot.php @@ -34,7 +34,7 @@ private static function getFunnyDot() { !isset($wgFunnyDotHash) && $wgFunnyDotHash = ''; $time = time(); $hash = substr(sha1($time.$wgFunnyDotHash), 0, 4); - setCookie('FunnyDotTime', $time); + setCookie('FunnyDotTime', $time, 0, '/', null, isset($_SERVER['HTTPS']), true); return '<div style="background-image:url('.$wgScript.'?title=Special:FunnyDotImage);visibility:hidden;position:absolute;z-index:-1"> <label for="FunnyDotHashField">Please type in the following code: <strong>'.$hash.'</strong></label> @@ -139,10 +139,10 @@ function execute($par) { $time = $_COOKIE['FunnyDotTime']; } else { $time = time(); - setCookie('FunnyDotTime', $time); + setCookie('FunnyDotTime', $time, 0, '/', null, isset($_SERVER['HTTPS']), true); } - setCookie('FunnyDotHash', substr(sha1($time.$wgFunnyDotHash), 0, 4)); + setCookie('FunnyDotHash', substr(sha1($time.$wgFunnyDotHash), 0, 4), 0, '/', null, isset($_SERVER['HTTPS']), true); header('HTTP/1.1 200 OK'); header("Cache-Control: no-cache, must-revalidate"); |