MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / includes / MemcachedSessions.php

diff --git a/includes/MemcachedSessions.php b/includes/MemcachedSessions.php
deleted file mode 100644 (file)
index 3b248cf..0000000
--- a/includes/MemcachedSessions.php
+++ /dev/null
@@ -1,72 +0,0 @@
-<?php
-/**
- * This file gets included if $wgSessionsInMemcache is set in the config.
- * It redirects session handling functions to store their data in memcached
- * instead of the local filesystem. Depending on circumstances, it may also
- * be necessary to change the cookie settings to work across hostnames.
- * See: http://www.php.net/manual/en/function.session-set-save-handler.php
- *
- */
-
-/**
- * @todo document
- */
-function memsess_key( $id ) {
-       return wfMemcKey( 'session', $id );
-}
-
-/**
- * @todo document
- */
-function memsess_open( $save_path, $session_name ) {
-       # NOP, $wgMemc should be set up already
-       return true;
-}
-
-/**
- * @todo document
- */
-function memsess_close() {
-       # NOP
-       return true;
-}
-
-/**
- * @todo document
- */
-function memsess_read( $id ) {
-       global $wgMemc;
-       $data = $wgMemc->get( memsess_key( $id ) );
-       if( ! $data ) return '';
-       return $data;
-}
-
-/**
- * @todo document
- */
-function memsess_write( $id, $data ) {
-       global $wgMemc;
-       $wgMemc->set( memsess_key( $id ), $data, 3600 );
-       return true;
-}
-
-/**
- * @todo document
- */
-function memsess_destroy( $id ) {
-       global $wgMemc;
-       $wgMemc->delete( memsess_key( $id ) );
-       return true;
-}
-
-/**
- * @todo document
- */
-function memsess_gc( $maxlifetime ) {
-       # NOP: Memcached performs garbage collection.
-       return true;
-}
-
-session_set_save_handler( 'memsess_open', 'memsess_close', 'memsess_read', 'memsess_write', 'memsess_destroy', 'memsess_gc' );
-
-