* be necessary to change the cookie settings to work across hostnames.
* See: http://www.php.net/manual/en/function.session-set-save-handler.php
*
- * @package MediaWiki
+ * @file
+ * @ingroup Cache
*/
/**
* @todo document
*/
function memsess_key( $id ) {
- global $wgDBname;
- return "$wgDBname:session:$id";
+ return wfMemcKey( 'session', $id );
}
/**
}
session_set_save_handler( 'memsess_open', 'memsess_close', 'memsess_read', 'memsess_write', 'memsess_destroy', 'memsess_gc' );
-
-?>