From 104d86442554b466c282834c780eed3580a146d7 Mon Sep 17 00:00:00 2001
From: Max Semenik <maxsem.wiki@gmail.com>
Date: Fri, 8 Sep 2017 18:26:11 -0700
Subject: [PATCH] Remove deprecated function wfFixSessionID()

Deprecated since 1.27, no callers anywhere.

Change-Id: I2d1019fdb21fe4a9d0aa767a71eb18739f841dfb
---
 RELEASE-NOTES-1.30           | 1 +
 includes/GlobalFunctions.php | 8 --------
 2 files changed, 1 insertion(+), 8 deletions(-)

diff --git a/RELEASE-NOTES-1.30 b/RELEASE-NOTES-1.30
index 7265b51810..a221f535be 100644
--- 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 bbb93171cb..3bd73e6d5c 100644
--- 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
  *
-- 
2.20.1