From 4245d062712207474518d7ce5f926d78fa80bcf7 Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Wed, 20 Aug 2014 19:35:30 +0200
Subject: [PATCH] Fix @param of Language::dateTimeObjFormat

Follow-Up: Ib26407bc55dff7969d8a3b1e2ae51751b202d8fb
Change-Id: I078ffe3ff385f4541d91b2fb8ef9564138f78393
---
 languages/Language.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/languages/Language.php b/languages/Language.php
index 8440bd41d2..ce6d0f7055 100644
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -1026,9 +1026,9 @@ class Language {
 
 	/**
 	 * Pass through result from $dateTimeObj->format()
-	 * @param DateTime &$dateTimeObj
+	 * @param DateTime|bool|null &$dateTimeObj
 	 * @param string $ts
-	 * @param DateTimeZone $zone
+	 * @param DateTimeZone|bool|null $zone
 	 * @param string $code
 	 * @return string
 	 */
-- 
2.20.1