Better logging for reauth operations
authorBrian Wolff <bawolff+wn@gmail.com>
Fri, 15 Jun 2018 07:29:49 +0000 (07:29 +0000)
committerAnomie <bjorsch@wikimedia.org>
Fri, 15 Jun 2018 13:04:26 +0000 (13:04 +0000)
commit9d5a5b29d4cef92fbe77ebd5f85a963fe4764deb
tree4e19732f2b4773c35758b820741e40025a351fe2
parent4ccc6394abca86a51e6c98efb352ecc278c9ac5d
Better logging for reauth operations

Include username and IP address in log

Change-Id: I25c6d298e50876601ccd6a906eb7a7c65d2e8d87
includes/auth/AuthManager.php