From 0d6bd629d0522ca682956c938979e5b990dc8276 Mon Sep 17 00:00:00 2001
From: jrfnl <jrfnl@users.noreply.github.com>
Date: Tue, 29 Apr 2025 13:08:02 +0200
Subject: [PATCH] Reporter: remove redundant property

This property was introduced in commit 9eaaccd58ed4ffa7d28bb3a1d501a77205c363ed (March 2014) and made redundant in commit f61025c5617a493b655a5f572a3e13749b3a51f8 (March 2015) by the introduction of the `Util\Timing` class. It hasn't been used since.

Time to remove this dead wood.
---
 src/Reporter.php | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/Reporter.php b/src/Reporter.php
index 824031a485..78134bda71 100644
--- a/src/Reporter.php
+++ b/src/Reporter.php
@@ -60,13 +60,6 @@ class Reporter
      */
     public $totalFixed = 0;
 
-    /**
-     * When the PHPCS run started.
-     *
-     * @var float
-     */
-    public static $startTime = 0;
-
     /**
      * A cache of report objects.
      *