jenkins-bot has submitted this change and it was merged.
Change subject: Actually unset the HHVM cookie
......................................................................
Actually unset the HHVM cookie
Fix-up for Ied71b5032.
Change-Id: I4adffaa26ba6020d51606155d9fc4b8c24badce6
---
M WikimediaEventsHooks.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/WikimediaEventsHooks.php b/WikimediaEventsHooks.php
index dce2d11..c0bb539 100644
--- a/WikimediaEventsHooks.php
+++ b/WikimediaEventsHooks.php
@@ -50,7 +50,7 @@
} else {
if ( $currentCookieValue !== null ) {
// Clear the cookie.
- $req->response()->setcookie( 'hhvm', '', time()
- 86400, array( 'prefix' => '' ) );
+ $req->response()->setcookie( 'hhvm', '', -
86400, array( 'prefix' => '' ) );
}
}
}
--
To view, visit https://gerrit.wikimedia.org/r/169283
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4adffaa26ba6020d51606155d9fc4b8c24badce6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaEvents
Gerrit-Branch: wmf/1.25wmf4
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
