From: Timo Tijhof <krinklemail@gmail.com>
Date: Sat, 9 Feb 2019 01:21:46 +0000 (+0000)
Subject: mediawiki.user: Remove deprecated stickyRandomId()
X-Git-Tag: 1.34.0-rc.0~2871^2
X-Git-Url: http://git.cyclocoop.org/%22%20.%20generer_url_aide%28?a=commitdiff_plain;h=75a90d2e578a33996ad6a004e1e29078efd3d20f;p=lhc%2Fweb%2Fwiklou.git

mediawiki.user: Remove deprecated stickyRandomId()

Introduced and renamed/deprecated in the same cycle (MW 1.32), was
meant to be removed before release but forgotten.

Change-Id: I4bb219a1e38e15651115b70277e1968886dca690
---

diff --git a/RELEASE-NOTES-1.33 b/RELEASE-NOTES-1.33
index 8a02056d0c..6152892d5a 100644
--- a/RELEASE-NOTES-1.33
+++ b/RELEASE-NOTES-1.33
@@ -235,6 +235,8 @@ because of Phabricator reports.
   MediaWiki\Auth\AuthManager::autoCreateUser instead.
 * The mw.libs.jpegmeta property, deprecated in 1.31, was removed.
   Use require( 'mediawiki.libs.jpegmeta' ) instead.
+* The mw.user.stickyRandomId() method, deprecated in 1.32, was removed.
+  Use mw.user.getPageviewToken() instead.
 
 === Deprecations in 1.33 ===
 * The configuration option $wgUseESI has been deprecated, and is expected
diff --git a/resources/src/mediawiki.user.js b/resources/src/mediawiki.user.js
index e41ed58677..d9b1227bbb 100644
--- a/resources/src/mediawiki.user.js
+++ b/resources/src/mediawiki.user.js
@@ -190,10 +190,4 @@
 		}
 	} );
 
-	/**
-	 * @method stickyRandomId
-	 * @deprecated since 1.32 use getPageviewToken instead
-	 */
-	mw.log.deprecate( mw.user, 'stickyRandomId', mw.user.getPageviewToken, 'Please use getPageviewToken instead' );
-
 }() );