stable

GGitHubWrite timings to file on shutdown & add API for writing timings file (#6848)

9250b058创建于 2025年10月29日历史提交

文件	最后提交记录	最后更新时间
Timings.php	Make sure timings are counted under the proper parents	1 年前
TimingsHandler.php	Write timings to file on shutdown & add API for writing timings file (#6848)	6 个月前
TimingsRecord.php	PHPStan 2.0 fixes	1 年前