mediawiki.user: Add message to deprecation of name() and anonymous()

Follows-up de5e135. Forgot to add the message that says what to
use instead (like we do in mw.util and mw.toolbar already).

Change-Id: Ib6b6aece70b2e681ca291e376ddfc884c8a11033

diff --git a/resources/src/mediawiki/mediawiki.user.js b/resources/src/mediawiki/mediawiki.user.js
index fd9690b..c5694b7 100644 (file)
--- a/resources/src/mediawiki/mediawiki.user.js
+++ b/resources/src/mediawiki/mediawiki.user.js
@@ -247,13 +247,13 @@
         * @inheritdoc #getName
         * @deprecated since 1.20 Use #getName instead
         */
-       mw.log.deprecate( user, 'name', user.getName );
+       mw.log.deprecate( user, 'name', user.getName, 'Use mw.user.getName instead.' );
 
        /**
         * @method anonymous
         * @inheritdoc #isAnon
         * @deprecated since 1.20 Use #isAnon instead
         */
-       mw.log.deprecate( user, 'anonymous', user.isAnon );
+       mw.log.deprecate( user, 'anonymous', user.isAnon, 'Use mw.user.isAnon instead.' );
 
 }( mediaWiki, jQuery ) );