Dylan K. Taylor bd01a919e5
Move command timings to Timings::
this avoids duplicate timings entries when command labels are changed and changed back, or if multiple command maps are in use.
In addition, it also solves some PHPStan issues :)
2022-10-16 16:57:10 +01:00
..
2022-09-02 18:28:33 +01:00
2022-09-28 18:34:01 +01:00
2022-09-28 18:34:01 +01:00