From 00f1440063d085638d1144012274d680a7c131ef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrik=20Paster=C4=8D=C3=ADk?= <plaki@seznam.cz>
Date: Fri, 4 Jan 2019 14:04:20 +0100
Subject: [PATCH] Fix #13975 - Missing query time in German (fix decimal number
 format issue)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Patrik Pasterčík <plaki@seznam.cz>
---
 libraries/classes/Message.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/classes/Message.php b/libraries/classes/Message.php
index efeeca673a..9c9604a6d6 100644
--- a/libraries/classes/Message.php
+++ b/libraries/classes/Message.php
@@ -454,7 +454,7 @@ class Message
      */
     public function addParam($param)
     {
-        if ($param instanceof Message) {
+        if ($param instanceof Message || is_float($param) || is_int($param)) {
             $this->params[] = $param;
         } else {
             $this->params[] = htmlspecialchars($param);