[DOC-WEB] [web-doc] master: add a space to the blank line to copy

[Nilgün Belma Bugüner]

Author: Nilgün Belma Bugüner (nilgun)
Date: 2022-03-31T14:55:12+03:00

Commit: https://github.com/php/web-doc/commit/8811bd7f814d7a69faffd423c5b9d3f6802c6955
Raw diff: https://github.com/php/web-doc/commit/8811bd7f814d7a69faffd423c5b9d3f6802c6955.diff

add a space to the blank line to copy

Changed paths:
M include/lib_revcheck.inc.php


Diff:

diff --git a/include/lib_revcheck.inc.php b/include/lib_revcheck.inc.php
index 9a08fa9..6e8852c 100644
--- a/include/lib_revcheck.inc.php
+++ b/include/lib_revcheck.inc.php
@@ -294,6 +294,7 @@ function showdiff ()
echo "<div style='$lineNumberStyles $addAccentBg'></div>";
echo "<div style='$lineNumberStyles $addAccentBg'>$newLineNumber</div>";
echo "<div style='$addAccentBg flex: 0 0 20px; text-align: center; user-select: none;'>$fc</div>";
+ if ($line == "+") $line .= " ";
echo "<div style='$codeStyles $addBg'>" . substr($line, 1) . "</div>\n";

$newLineNumber++;

--
Documentation Website Mailing List (http://doc.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php