Remove DateTimeInterface::setMicrosecond

VincentLanglet · VincentLanglet · commit b22283ddcfe5 · 2025-06-02T11:54:08.000+02:00
diff --git a/date/date_c.php b/date/date_c.php
@@ -167,11 +167,6 @@ public function __unserialize(array $data): void;
      * @since 8.4
      */
     public function getMicrosecond(): int;
-
-    /**
-     * @since 8.4
-     */
-    public function setMicrosecond();
 }
 
 /**
