VladPolskiy/php-web-doc
1
0
Fork 0
mirror of https://github.com/php/web-doc.git synced 2025-08-03 16:34:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

add a space to the blank line to copy

Browse Source
This commit is contained in:
Nilgün Belma Bugüner
2022-03-31 14:55:12 +03:00
parent ccd7d7d19e
commit 8811bd7f81
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
include/lib_revcheck.inc.php
View File

@ -294,6 +294,7 @@ function showdiff ()
echo "<div style='$lineNumberStyles $addAccentBg'></div>"; echo "<div style='$lineNumberStyles $addAccentBg'></div>";
echo "<div style='$lineNumberStyles $addAccentBg'>$newLineNumber</div>"; echo "<div style='$lineNumberStyles $addAccentBg'>$newLineNumber</div>";
echo "<div style='$addAccentBg flex: 0 0 20px; text-align: center; user-select: none;'>$fc</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"; echo "<div style='$codeStyles $addBg'>" . substr($line, 1) . "</div>\n";
$newLineNumber++; $newLineNumber++;