Allow session expiry time to be configured
authorTim Starling <tstarling@wikimedia.org>
Wed, 8 Aug 2012 01:20:30 +0000 (11:20 +1000)
committerTim Starling <tstarling@wikimedia.org>
Wed, 8 Aug 2012 01:20:30 +0000 (11:20 +1000)
commit3b0132a64923ac8f64f072d6a9e5a02e89b44e10
treee830b2d73f970f6eb178bd39a0681eaf2cffc31a
parent6eb6313b6f9f8b42dc58bea3f432235b954a2d5c
Allow session expiry time to be configured

When $wgSessionsInObjectCache is enabled, use a configurable expiry time
instead of a hard-coded one-hour expiry.

Change-Id: Ia51962176d30fd87e298c47ec347a143cad80772
RELEASE-NOTES-1.20
includes/DefaultSettings.php
includes/objectcache/ObjectCacheSessionHandler.php