Add microseconds to setTime to support PHP 7.1

hising · shmax · commit 7f874551e426 · 2017-05-10T21:05:26.000-07:00
diff --git a/lib/DateTime.php b/lib/DateTime.php
@@ -165,10 +165,10 @@ public function setISODate($year, $week , $day = 1)
 		return parent::setISODate($year, $week, $day);
 	}
 
-	public function setTime($hour, $minute, $second = 0)
+	public function setTime($hour, $minute, $second = 0, $microseconds = 0)
 	{
 		$this->flag_dirty();
-		return parent::setTime($hour, $minute, $second);
+        return parent::setTime($hour, $minute, $second);
 	}
 
 	public function setTimestamp($unixtimestamp)

Original file line number	Diff line number	Diff line change
`@@ -165,10 +165,10 @@ public function setISODate($year, $week , $day = 1)`
`165`	`165`	`return parent::setISODate($year, $week, $day);`
`166`	`166`	`}`
`167`	`167`
`168`		`- public function setTime($hour, $minute, $second = 0)`
	`168`	`+ public function setTime($hour, $minute, $second = 0, $microseconds = 0)`
`169`	`169`	`{`
`170`	`170`	`$this->flag_dirty();`
`171`		`- return parent::setTime($hour, $minute, $second);`
	`171`	`+ return parent::setTime($hour, $minute, $second);`
`172`	`172`	`}`
`173`	`173`
`174`	`174`	`public function setTimestamp($unixtimestamp)`