Merge "mediawiki.user: Simplify mw.user.generateRandomSessionId"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 21 Nov 2016 22:05:58 +0000 (22:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 21 Nov 2016 22:05:58 +0000 (22:05 +0000)
commitdf212f1c916f73ea8e2bdfdf00228d551b8bd620
treebe5e83662d45df9857a8b3b88020b7dd36f0c0d1
parent524e62463738c5a31a4c6c8d32fc2fdcd6c5aa74
parente6c3273e4ea4f5ee63eb2b6b44b159b34677104b
Merge "mediawiki.user: Simplify mw.user.generateRandomSessionId"