+ global $wgMemc;
+
+/*
+ if ( !isset( $_SESSION['wsEditToken'] ) ) {
+ $logfile = '/home/wikipedia/logs/session_debug/session.log';
+ $mckey = memsess_key( session_id() );
+ $uname = @posix_uname();
+ $msg = "wsEditToken not set!\n" .
+ 'apache server=' . $uname['nodename'] . "\n" .
+ 'session_id = ' . session_id() . "\n" .
+ '$_SESSION=' . var_export( $_SESSION, true ) . "\n" .
+ '$_COOKIE=' . var_export( $_COOKIE, true ) . "\n" .
+ "mc get($mckey) = " . var_export( $wgMemc->get( $mckey ), true ) . "\n\n\n";
+
+ @error_log( $msg, 3, $logfile );
+ }
+*/