Explicitly cast values to the expected types

php · Jan 14, 2025 · b4c4bf8 · b4c4bf8
1 parent 85aecca
commit b4c4bf8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/phpdotnet/phd/Package/Generic/XHTML.php b/phpdotnet/phd/Package/Generic/XHTML.php
@@ -757,7 +757,7 @@ public function format_literal($open, $name, $attrs)
     public function format_literal_text($value, $tag) {
         switch ($this->getRole()) {
             case 'infdec':
-                $value = (float)$value;
+                $value = (string) (float)$value;
                 $p = strpos($value, '.');
                 $str = substr($value, 0, $p + 1);
                 $str .= '<span style="text-decoration: overline;">';

diff --git a/phpdotnet/phd/Package/PHP/EnhancedCHM.php b/phpdotnet/phd/Package/PHP/EnhancedCHM.php
@@ -137,6 +137,7 @@ public function footer($id) {
                 if ($noteUser) {
                     $noteUser = '<strong class="user">' . htmlspecialchars($noteUser) . '</strong>';
                 }
+                $noteTimestamp = $noteTimestamp === "" ? null : (int) $noteTimestamp;
                 $noteDate = '<a href="#' . $noteId . '" class="date">' . date("d-M-Y h:i", $noteTimestamp) . '</a>';
                 $anchor   = '<a name="' . $noteId . '""></a>';