[web-wiki] master: Upgrade to 2020-07-29a

Author: Niklas Keller (kelunik) Date: 2023-03-23T21:07:40+01:00 Commit: https://github.com/php/web-wiki/commit/423e6da786afa3d6ffc0b67a8e30b4e3cfd531a3 Raw diff: https://github.com/php/web-wiki/commit/423e6da786afa3d6ffc0b67a8e30b4e3cfd531a3.diff Upgrade to 2020-07-29a Changed paths: M dokuwiki/VERSION M dokuwiki/doku.php M dokuwiki/inc/html.php Diff: diff --git a/dokuwiki/VERSION b/dokuwiki/VERSION index a16fdd8b..2505d893 100644 --- 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 index 7921fbec..b8eccf15 100644 --- 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 index 1f494d46..09f3d62e 100644 --- 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