Add getId to mw.user, returning wgUserId (or 0 for anons).
[lhc/web/wiklou.git] / .gitreview
1 [gerrit]
2 host=gerrit.wikimedia.org
3 port=29418
4 project=mediawiki/core.git
5 defaultbranch=master
6 defaultrebase=0