Remove unused fields from User
authorAaron Schulz <aschulz@wikimedia.org>
Sun, 25 Oct 2015 18:35:33 +0000 (11:35 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Mon, 26 Oct 2015 07:20:00 +0000 (00:20 -0700)
commit8ab0149c86ba38951201fc3d8d71a85642d76cb9
tree430f8791ad2167b74efdf2449cbc4c4a4b654ca8
parent6be205fbc5043266e8b1dbabd3a4a8d034058844
Remove unused fields from User

Change-Id: Ib209747f1ebd1433969b13b1ecb86d3b57f9be9a
includes/User.php