From 128d3a09a0392a5a0a6c4e6ea9aefcd8ddf9efca Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Wed, 30 Oct 2019 23:47:45 +0100
Subject: [PATCH] Fix #15540 - Uncaught TypeError: htmlspecialchars() in
 NavigationTree

Signed-off-by: William Desportes <williamdes@wdes.fr>
---
 libraries/classes/Navigation/NavigationTree.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/classes/Navigation/NavigationTree.php b/libraries/classes/Navigation/NavigationTree.php
index 0ff9726da1..78659a4b7f 100644
--- a/libraries/classes/Navigation/NavigationTree.php
+++ b/libraries/classes/Navigation/NavigationTree.php
@@ -764,7 +764,7 @@ class NavigationTree
                 }
 
                 $groups[$key] = new Node(
-                    htmlspecialchars($key),
+                    htmlspecialchars((string) $key),
                     Node::CONTAINER,
                     true
                 );