Merge "mediawiki.user: Use mw.log.deprecate to track user() and anonymous()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 19 May 2014 11:03:03 +0000 (11:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 19 May 2014 11:03:03 +0000 (11:03 +0000)
commite5632af6213d3fe865fafe721af064676ce2a52c
tree5990361c11d938d31f97908f7f3cff991f07fd87
parent15a3cc2d746c0845e741500d3354bcae381f6021
parentde5e13598a79b3876de3902f5985a3bf0bd0d6a0
Merge "mediawiki.user: Use mw.log.deprecate to track user() and anonymous()"