Add Timing interface
authorOri Livneh <ori@wikimedia.org>
Tue, 3 Nov 2015 02:26:07 +0000 (18:26 -0800)
committerOri Livneh <ori@wikimedia.org>
Tue, 3 Nov 2015 23:05:37 +0000 (15:05 -0800)
commit8340400f27ac1831258af4da00894242e683294f
tree85f868e28ea41988cf2c092d83ca93ebce328d6b
parent5767892f9c9961980d38d96afd06a6571ef21311
Add Timing interface

* Add `Timing`, an interface which mimics the W3C User Timing API.
  It provides a canonical way to store and retrieve markers (timestamps)
  and measures (timestamps + duration).
* As the initial use-case, use it to record 'requestShutdown'.

Change-Id: I36b29162ffcc091406df025463b0e2797e52f19a
autoload.php
includes/MediaWiki.php
includes/context/ContextSource.php
includes/context/DerivativeContext.php
includes/context/IContextSource.php
includes/context/RequestContext.php
includes/libs/Timing.php [new file with mode: 0644]
tests/phpunit/includes/libs/TimingTest.php [new file with mode: 0644]