[08:39:59] <Remilia>	 hmm I'm looking at the example here https://www.mediawiki.org/wiki/Excimer#Per-request_flame_graph_from_MediaWiki and wondering how to add an elapsed time check here, like, I could timestamp before calling start(), but how do I access that timestamp in that callback? I'm not very knowledgeable about PHP :\
[10:20:32] <Remilia>	 I figured it out, can just use `microtime(true) - $_SERVER["REQUEST_TIME_FLOAT"]` for request duration