Make mediawiki.special.pageLanguage work again

[lhc/web/wiklou.git] / includes / session / SessionManagerInterface.php

diff --git a/includes/session/SessionManagerInterface.php b/includes/session/SessionManagerInterface.php
index 67d6f5d..14af630 100644 (file)
--- a/includes/session/SessionManagerInterface.php
+++ b/includes/session/SessionManagerInterface.php
@@ -34,21 +34,6 @@ use WebRequest;
  * @since 1.27
  */
 interface SessionManagerInterface extends LoggerAwareInterface {
-       /**
-        * Fetch the persisted session ID in a request.
-        *
-        * Note this is not the same thing as whether the session associated with
-        * the request is currently persistent, as the session might have been
-        * first made persistent during this request.
-        *
-        * @param WebRequest $request
-        * @return string|null
-        * @throws \\OverflowException if there are multiple sessions tied for top
-        *  priority in the request. Exception has a property "sessionInfos"
-        *  holding the SessionInfo objects for the sessions involved.
-        */
-       public function getPersistedSessionId( WebRequest $request );
-
        /**
         * Fetch the session for a request
         *
@@ -67,12 +52,13 @@ interface SessionManagerInterface extends LoggerAwareInterface {
        /**
         * Fetch a session by ID
         * @param string $id
-        * @param bool $noEmpty Don't return an empty session
+        * @param bool $create If no session exists for $id, try to create a new one.
+        *  May still return null if a session for $id exists but cannot be loaded.
         * @param WebRequest|null $request Corresponding request. Any existing
         *  session associated with this WebRequest object will be overwritten.
         * @return Session|null
         */
-       public function getSessionById( $id, $noEmpty = false, WebRequest $request = null );
+       public function getSessionById( $id, $create = false, WebRequest $request = null );
 
        /**
         * Fetch a new, empty session