Record user login timing
authorMax Semenik <maxsem.wiki@gmail.com>
Thu, 27 Jul 2017 21:31:42 +0000 (14:31 -0700)
committerMax Semenik <maxsem.wiki@gmail.com>
Thu, 3 Aug 2017 22:33:05 +0000 (15:33 -0700)
commit2043b3e14f5cd3ce6f51234d95505e10e7b644fb
tree5c72d0836a8ff463c7a0342e22a0057274b7ea50
parent87a0b17127195742e6c64472dbfdac65b4d254d7
Record user login timing

Not using existing Timing class because it makes sense only if
request start time is needed, otherwise it just introduces
unneeded complexity and dependency.

Bug: T171882
Change-Id: I984c9223a4481685a7bcb659a68002c8ec4d122a
includes/specialpage/LoginSignupSpecialPage.php