Merge "Remove $wgSessionStarted"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 11 May 2014 09:13:49 +0000 (09:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 11 May 2014 09:13:49 +0000 (09:13 +0000)
commitee426fa2161bc7715664a2f12d09b78b2de34cd8
tree76424b6980c7ba958b95044810c871b8f2387ce1
parent1a45ce894e838082d4c2e36d1e2954f156a68602
parentf32f31613c5695be7f450632ed6d93c12430882d
Merge "Remove $wgSessionStarted"