Merge "Add ability to define packageFiles in extension.json"

[lhc/web/wiklou.git] / resources / src / mediawiki.user.js

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' );
-
 }() );