From 5bdaf660a752c2370cda140f267e98b059fdbbd7 Mon Sep 17 00:00:00 2001
From: David Grudl <david@grudl.com>
Date: Tue, 24 Jan 2017 03:20:20 +0100
Subject: [PATCH] ISupplementalDriver: uncommented formatDateInterval()

---
 src/Database/ISupplementalDriver.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Database/ISupplementalDriver.php b/src/Database/ISupplementalDriver.php
index e950c9157..12b8a43c5 100644
--- a/src/Database/ISupplementalDriver.php
+++ b/src/Database/ISupplementalDriver.php
@@ -57,7 +57,7 @@ function formatDateTime(/*\DateTimeInterface*/ $value);
 	 * Formats date-time interval for use in a SQL statement.
 	 * @return string
 	 */
-	//function formatDateInterval(\DateInterval $value);
+	function formatDateInterval(\DateInterval $value);
 
 	/**
 	 * Encodes string for use in a LIKE statement.