Remove unused microtime_diff function. Fixes elementor#880

Author: john-shaffer

src/CLI.php

@@ -86,24 +86,6 @@ public function diagnostics() : void {
 
     }
 
-    public function microtime_diff(
-        string $start,
-        string $end = null
-    ) : float {
-        if ( ! $end ) {
-            $end = microtime();
-        }
-
-        list( $start_usec, $start_sec ) = explode( ' ', $start );
-        list( $end_usec, $end_sec ) = explode( ' ', $end );
-
-        $diff_sec = intval( $end_sec ) - intval( $start_sec );
-        $diff_usec = floatval( $end_usec ) - floatval( $start_usec );
-
-        return floatval( $diff_sec ) + $diff_usec;
-    }
-
-
     /**
      * Get info on plugin status.
      *

src/Utils.php

@@ -2,33 +2,7 @@
 
 namespace WP2Static;
 
-use Exception;
-
 class Utils {
-    /*
-     * Takes either an http or https URL and returns a // protocol-relative URL
-     *
-     * @param string $start timer start
-     * @param string $end timer end
-     * @return float time between start and finish
-     */
-    public static function microtime_diff(
-        string $start,
-        string $end = null
-    ) : float {
-        if ( ! $end ) {
-            $end = microtime();
-        }
-
-        list( $start_usec, $start_sec ) = explode( ' ', $start );
-        list( $end_usec, $end_sec ) = explode( ' ', $end );
-
-        $diff_sec = intval( $end_sec ) - intval( $start_sec );
-        $diff_usec = floatval( $end_usec ) - floatval( $start_usec );
-
-        return floatval( $diff_sec ) + $diff_usec;
-    }
-
     /*
      * Adjusts the max_execution_time ini option
      *