[web-doc] master: Fix generic font-family name
| From: | Nilgün Belma Bugüner | Date: | Fri, 31 Dec 2021 01:28:16 +0000 |
| Subject: | [web-doc] master: Fix generic font-family name | ||
| Groups: | php.doc.web | ||
| Request: | Send a blank email to doc-web+get-2497@lists.php.net to get a copy of this message | ||
Author: Nilgün Belma Bugüner (nilgun)
Date: 2021-12-31T04:28:36+03:00
Commit: https://github.com/php/web-doc/commit/1cea7213bec138b559b3950450d52c79557fe0e0
Raw diff: https://github.com/php/web-doc/commit/1cea7213bec138b559b3950450d52c79557fe0e0.diff
Fix generic font-family name
Closes #28
Changed paths:
M include/lib_revcheck.inc.php
Diff:
diff --git a/include/lib_revcheck.inc.php b/include/lib_revcheck.inc.php
index 1e74a6f..bd8f36c 100644
--- a/include/lib_revcheck.inc.php
+++ b/include/lib_revcheck.inc.php
@@ -255,7 +255,7 @@ function showdiff ()
$raw = htmlspecialchars( $file, ENT_XML1, 'UTF-8' );
$trans = [ " " => " " ];
$lines = explode ( "\n" , $raw );
- echo "<div style='font:87% mono;overflow-wrap:break-word;'>";
+ echo "<div style='font:87%
monospace;overflow-wrap:break-word;'>";
foreach ( $lines as $line ) {
$inline = strtr( $line , $trans );
$fc = substr( $inline , 0 , 1 );