mediawiki.user: Add message to deprecation of name() and anonymous()
authorTimo Tijhof <krinklemail@gmail.com>
Wed, 21 May 2014 17:26:22 +0000 (19:26 +0200)
committerKrinkle <krinklemail@gmail.com>
Wed, 21 May 2014 17:38:29 +0000 (17:38 +0000)
commit9f7e79ab6ba0fd3a0e4b002ca46b600a4a880a75
treeaf180b09b7dbde3417b38dd723e1d105795d79ef
parent17f8952336e2fc0877c0d3483dd3b9f1b5249a4f
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
resources/src/mediawiki/mediawiki.user.js