mirror of
https://github.com/php/web-wiki.git
synced 2025-07-29 12:14:00 +00:00
Upgrade to 2020-07-29a
This commit is contained in:
@ -1 +1 @@
|
||||
2020-07-29 "Hogfather"
|
||||
2020-07-29a "Hogfather"
|
||||
|
@ -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();
|
||||
|
||||
|
@ -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
|
||||
|
Reference in New Issue
Block a user