From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Tue, 27 Mar 2018 14:15:47 +0000 (+0000)
Subject: Merge "mediawiki.user: Implement mw.user.stickyRandomId"
X-Git-Tag: 1.31.0-rc.0~267
X-Git-Url: https://git.cyclocoop.org/%27.WWW_URL.%27admin/config/%27%40url%40//%27ecrire/admin_repair.php3/%27?a=commitdiff_plain;h=8b45d6c33499eff07d8e0f0807dbfac78657995d;p=lhc%2Fweb%2Fwiklou.git

Merge "mediawiki.user: Implement mw.user.stickyRandomId"
---

8b45d6c33499eff07d8e0f0807dbfac78657995d