Drop wfResetSessionID, deprecated in 1.27
authorJames D. Forrester <jforrester@wikimedia.org>
Fri, 21 Jun 2019 21:16:14 +0000 (14:16 -0700)
committerJames D. Forrester <jforrester@wikimedia.org>
Mon, 24 Jun 2019 21:12:33 +0000 (14:12 -0700)
Change-Id: I14a9c91a43504ee02aac809f5e1124e1cb958e19

RELEASE-NOTES-1.34
includes/GlobalFunctions.php

index 43e128a..8dab974 100644 (file)
@@ -239,6 +239,8 @@ because of Phabricator reports.
 * Skin::getDefaultInstance(), deprecated in 1.27, has been removed. Get the
   instance from MediaWikiServices instead.
 * The UserLoadFromSession hook, deprecated in 1.27, has been removed.
+* The wfResetSessionID global function, deprecated in 1.27, has been removed.
+  Use MediaWiki\Session\SessionManager instead.
 * …
 
 === Deprecations in 1.34 ===
index fed9234..0f0a93b 100644 (file)
@@ -30,7 +30,6 @@ use MediaWiki\MediaWikiServices;
 use MediaWiki\ProcOpenError;
 use MediaWiki\Session\SessionManager;
 use MediaWiki\Shell\Shell;
-use Wikimedia\ScopedCallback;
 use Wikimedia\WrappedString;
 use Wikimedia\AtEase\AtEase;
 
@@ -2430,28 +2429,6 @@ function wfRelativePath( $path, $from ) {
        return implode( DIRECTORY_SEPARATOR, $pieces );
 }
 
-/**
- * Reset the session id
- *
- * @deprecated since 1.27, use MediaWiki\Session\SessionManager instead
- * @since 1.22
- */
-function wfResetSessionID() {
-       wfDeprecated( __FUNCTION__, '1.27' );
-       $session = SessionManager::getGlobalSession();
-       $delay = $session->delaySave();
-
-       $session->resetId();
-
-       // Make sure a session is started, since that's what the old
-       // wfResetSessionID() did.
-       if ( session_id() !== $session->getId() ) {
-               wfSetupSession( $session->getId() );
-       }
-
-       ScopedCallback::consume( $delay );
-}
-
 /**
  * Initialise php session
  *