Further optimize User::saveOptions() by doing deletes by PRIMARY KEY
authorAaron Schulz <aschulz@wikimedia.org>
Mon, 10 Mar 2014 19:53:48 +0000 (12:53 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Mon, 10 Mar 2014 19:57:10 +0000 (12:57 -0700)
commit7f3d3df73abf141a7dd0b942b907bd2488c6a95e
treef61edcd5c2f994c31f8585ab703016f4dda05c76
parent9ed334b55c57fa387cb25bd3a14bc90af345903e
Further optimize User::saveOptions() by doing deletes by PRIMARY KEY

* We do not care about gap locks here, just as in the case
  with new users. Races should be rare and are simply FWW.

Change-Id: Ie483a2d5df501619acbd868bf894dfc6c911a753
includes/User.php