/** * return proper key for session */ public static function key($id) { return wfGetSessionKey($id); }
/** * Get a cache key for the given session id. * * @param $id String: session id * @return String: cache key */ function memsess_key($id) { return wfGetSessionKey($id); }