Fix: #13975 - Missing query time in German (fix decimal number format )

Fixes: #13975
Signed-off-by: William Desportes <williamdes@wdes.fr>
This commit is contained in:
William Desportes 2019-03-02 11:30:31 +01:00
commit 60f3f97ede
No known key found for this signature in database
GPG Key ID: 90A0EF1B8251A889

View File

@ -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);