]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blobdiff - includes/MemcachedSessions.php
MediaWiki 1.11.0
[autoinstallsdev/mediawiki.git] / includes / MemcachedSessions.php
index af49109ce91218d21fe2c5eb293b73ebb7d2424c..3b248cf01f4405e01d0b66eed8c70dd7140ede2a 100644 (file)
@@ -6,15 +6,13 @@
  * 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
  */
 
 /**
  * @todo document
  */
 function memsess_key( $id ) {
-       global $wgDBname;
-       return "$wgDBname:session:$id";
+       return wfMemcKey( 'session', $id );
 }
 
 /**
@@ -71,4 +69,4 @@ function memsess_gc( $maxlifetime ) {
 
 session_set_save_handler( 'memsess_open', 'memsess_close', 'memsess_read', 'memsess_write', 'memsess_destroy', 'memsess_gc' );
 
-?>
+