Merge "mediawiki.user: Implement mw.user.stickyRandomId"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 27 Mar 2018 14:15:47 +0000 (14:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 27 Mar 2018 14:15:47 +0000 (14:15 +0000)
commit8b45d6c33499eff07d8e0f0807dbfac78657995d
treeba01cca720710bf56db417527fb791920384fef9
parent71a653a495cf2de243ff25d5941ae708f0e43a80
parent6123a7a071c522b012a97ab3d5bc9b0bfa045651
Merge "mediawiki.user: Implement mw.user.stickyRandomId"