dépôts
/
lhc
/
web
/
wiklou.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge "Load preferences js/css in mobile"
[lhc/web/wiklou.git]
/
includes
/
session
/
SessionProvider.php
diff --git
a/includes/session/SessionProvider.php
b/includes/session/SessionProvider.php
index
3cf69b7
..
ba075e0
100644
(file)
--- a/
includes/session/SessionProvider.php
+++ b/
includes/session/SessionProvider.php
@@
-387,7
+387,7
@@
abstract class SessionProvider implements SessionProviderInterface, LoggerAwareI
* reset whatever token it does use here.
*
* @protected For use by \MediaWiki\Session\SessionManager only
- * @param User $user
;
+ * @param User $user
*/
public function invalidateSessionsForUser( User $user ) {
}