mw.user.js: Make sessionId public
[lhc/web/wiklou.git] / index.php5
1 <?php require './index.php';