From 75a90d2e578a33996ad6a004e1e29078efd3d20f Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Sat, 9 Feb 2019 01:21:46 +0000 Subject: [PATCH] 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 --- RELEASE-NOTES-1.33 | 2 ++ resources/src/mediawiki.user.js | 6 ------ 2 files changed, 2 insertions(+), 6 deletions(-) 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' ); - }() ); -- 2.20.1