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 8a02056..6152892 100644 (file)
--- 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 e41ed58..d9b1227 100644 (file)
--- 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' );
-
 }() );