Upgrade to 2020-07-29a

kelunik · kelunik · commit 423e6da786af · 2023-03-23T21:07:40.000+01:00
diff --git a/dokuwiki/VERSION b/dokuwiki/VERSION
@@ -1 +1 @@
-2020-07-29 "Hogfather"
+2020-07-29a "Hogfather"
diff --git a/dokuwiki/doku.php b/dokuwiki/doku.php
@@ -11,7 +11,7 @@
 // update message version - always use a string to avoid localized floats!
 use dokuwiki\Extension\Event;
 
-$updateVersion = "51.3";
+$updateVersion = "51.4";
 
 //  xdebug_start_profiling();
 
diff --git a/dokuwiki/inc/html.php b/dokuwiki/inc/html.php
@@ -1347,7 +1347,7 @@ function html_diff($text = '', $intro = true, $type = null) {
      */
     ?>
     <div class="table">
-    <table class="diff diff_<?php echo $type ?>">
+    <table class="diff diff_<?php echo hsc($type) ?>">
 
         <?php
         //navigation and header
