mw.user.js: Make sessionId public