Merge pull request #28444 from braders/php8-timespent
authorMatthew Wire <mjw@mjwconsult.co.uk>
Sun, 3 Dec 2023 18:38:22 +0000 (18:38 +0000)
committerGitHub <noreply@github.com>
Sun, 3 Dec 2023 18:38:22 +0000 (18:38 +0000)
[REF][PHP8.2] Declare properties in TimeSpent report


Trivial merge