From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Sat, 3 Aug 2013 02:02:58 +0000 (+0000)
Subject: Merge "Add getId to mw.user, returning wgUserId (or 0 for anons)."
X-Git-Tag: 1.31.0-rc.0~19048
X-Git-Url: http://git.cyclocoop.org//%27%40script%40/%27?a=commitdiff_plain;h=1694dcc0dac2a571f19927bfb14fd32b9cef8f53;p=lhc%2Fweb%2Fwiklou.git

Merge "Add getId to mw.user, returning wgUserId (or 0 for anons)."
---

1694dcc0dac2a571f19927bfb14fd32b9cef8f53