Remove deprecated function wfFixSessionID()

Deprecated since 1.27, no callers anywhere.

Change-Id: I2d1019fdb21fe4a9d0aa767a71eb18739f841dfb

diff --git a/RELEASE-NOTES-1.30 b/RELEASE-NOTES-1.30
index 7265b51..a221f53 100644 (file)
--- a/RELEASE-NOTES-1.30
+++ b/RELEASE-NOTES-1.30
@@ -214,6 +214,7 @@ changes to languages because of Phabricator reports.
   user_properties.up_user have all been made unsigned on MySQL.
 * DB_SLAVE is deprecated. DB_REPLICA should be used instead.
 * wfUsePHP() is deprecated.
+* wfFixSessionID() was removed.
 
 == Compatibility ==
 MediaWiki 1.30 requires PHP 5.5.9 or later. There is experimental support for

diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php
index bbb9317..3bd73e6 100644 (file)
--- a/includes/GlobalFunctions.php
+++ b/includes/GlobalFunctions.php
@@ -2919,14 +2919,6 @@ function wfBaseConvert( $input, $sourceBase, $destBase, $pad = 1,
        return Wikimedia\base_convert( $input, $sourceBase, $destBase, $pad, $lowercase, $engine );
 }
 
-/**
- * @deprecated since 1.27, PHP's session generation isn't used with
- *  MediaWiki\Session\SessionManager
- */
-function wfFixSessionID() {
-       wfDeprecated( __FUNCTION__, '1.27' );
-}
-
 /**
  * Reset the session id
  *