use escape_tags() wiki headers

(cherry picked from commit e7f1f496c5)
2019-05-17 12:26:03 +02:00
parent 22162635e7
commit e6cee2965a
1 changed files with 2 additions and 2 deletions
@@ -293,9 +293,9 @@ class Wiki extends Controller {
 				}

 				//$wikiheaderName = urldecode($wikiUrlName);
-				$wikiheaderName = NativeWiki::name_decode($wikiUrlName);
+				$wikiheaderName = escape_tags(NativeWiki::name_decode($wikiUrlName));
 				//$wikiheaderPage = urldecode($pageUrlName);
-				$wikiheaderPage = NativeWiki::name_decode($pageUrlName);
+				$wikiheaderPage = escape_tags(NativeWiki::name_decode($pageUrlName));

 				$renamePage = (($wikiheaderPage === 'Home') ? '' : t('Rename page'));
 				$sharePage  = t('Share');