Avoid some unused parameter IDEA errors in User.php
authorAaron Schulz <aschulz@wikimedia.org>
Tue, 1 Sep 2015 03:41:02 +0000 (20:41 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Fri, 4 Sep 2015 19:13:32 +0000 (12:13 -0700)
commit7389dd7676c643202ddb0ac8112e0f7958888e9f
tree117853d72c6e337c4eb6d7cd4fbeb6d2f6f4ce1c
parent4b7ba45d0c20609fc376b081ae80810e8d6e88d4
Avoid some unused parameter IDEA errors in User.php

Change-Id: I75e56ab02af6aee5dbed1735ae8a3a415094508d
includes/User.php