Remove Profiler::setInstance()
authorChad Horohoe <chadh@wikimedia.org>
Tue, 4 Nov 2014 21:12:54 +0000 (13:12 -0800)
committerBryanDavis <bdavis@wikimedia.org>
Tue, 4 Nov 2014 22:01:12 +0000 (22:01 +0000)
commitbb025faa199c6ccbc53aaf26d7dc21da823107b0
tree9549867e5d775b71cb47136937fbee0e5a8a748b
parent656fe6d4ed657c8aed588d0cb70fab431f650c73
Remove Profiler::setInstance()

This is a weird construction that only existed for dumpHTML.
DumpHTML will no longer require this as of Ia38aa904.

It won't work with future plans to separate profiling & profiling
output

Change-Id: I4d7806596fa233a2b2d1d691c8adfa68724f20f5
includes/profiler/Profiler.php