From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Sat, 9 Feb 2019 23:40:29 +0000 (+0000)
Subject: Merge "mediawiki.user: Remove deprecated stickyRandomId()"
X-Git-Tag: 1.34.0-rc.0~2871
X-Git-Url: http://git.cyclocoop.org//%27http:/ie7-js.googlecode.com/svn/test/index.html/%27?a=commitdiff_plain;h=c0a992b8c45fcfd29fbb579cb43fd34b40f63cef;p=lhc%2Fweb%2Fwiklou.git

Merge "mediawiki.user: Remove deprecated stickyRandomId()"
---

c0a992b8c45fcfd29fbb579cb43fd34b40f63cef