User::clearSharedCache: don't load the full user record for just the ID
authorOri Livneh <ori@wikimedia.org>
Tue, 19 May 2015 22:45:46 +0000 (15:45 -0700)
committerOri Livneh <ori@wikimedia.org>
Tue, 19 May 2015 22:45:46 +0000 (15:45 -0700)
commit05aac977eb17629df07f29bf874b23d852ccefff
treea17fcc644e7160c7746c1af0ca30fd61a217e2d7
parentf37cee996ee9459ae8cd6b23e604517d941daf18
User::clearSharedCache: don't load the full user record for just the ID

Rather than call $this->load() unconditionally, get just the ID via
$this->getId(), potentially saving us a database lookup.

Change-Id: Ifa3b96956a1d66d3e877573ff01970758fad8790
includes/User.php