Tony Murray 50cf1a49f1 Kick other sessions when changing password (#13194)
* Kick other session when changing password
Invalidate other sessions when a user password gets changed

* Don't logout admin users when they change passwords.
Cleanup phpstan exceptions

* only restore user if needed

* comment odd behavior

* $current_user typehint
2021-10-21 17:25:38 -05:00
..
2021-09-10 20:09:53 +02:00
2021-09-10 20:09:53 +02:00
2021-10-19 19:32:28 -05:00
2021-09-10 20:09:53 +02:00
2021-09-10 20:09:53 +02:00
2021-09-10 20:09:53 +02:00