Use upsert() in ProfilerOutputDb
authorAaron Schulz <aschulz@wikimedia.org>
Tue, 18 Nov 2014 20:06:05 +0000 (12:06 -0800)
committerAaron Schulz <aschulz@wikimedia.org>
Tue, 18 Nov 2014 20:06:05 +0000 (12:06 -0800)
commitb5cadaa66993e0eff72e12eb3ac0fb119133e6ff
treeb194179ce63a9a72759c86e1a698e22b8e79ac1e
parent000c6529d8044691332a5916d94d2db1fb203d6e
Use upsert() in ProfilerOutputDb

Change-Id: I807ee78c602b67c99530ecaab90af74410106fc7
includes/profiler/output/ProfilerOutputDb.php