diff options
| author | Andrey Andreev <narf@devilix.net> | 2022-02-13 00:57:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-13 00:57:37 +0100 |
| commit | 852c14bbca1277583c23a1977ddfc348af4d395a (patch) | |
| tree | 38b43b33192412d3364de82e3d8f870ed6256381 | |
| parent | dc667a73564012acb5c28df248942be055deff45 (diff) | |
| parent | 7e25c1830dfd61fe38d370e0b2e0f6c740265fac (diff) | |
[ci skip] Merge pull request #6100 from svennd/develop
profiler.php PHP 8.1 deprecation notice
| -rw-r--r-- | system/libraries/Profiler.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/system/libraries/Profiler.php b/system/libraries/Profiler.php index 5531f3366..5abc324dc 100644 --- a/system/libraries/Profiler.php +++ b/system/libraries/Profiler.php @@ -496,7 +496,7 @@ class CI_Profiler { } $output .= '<tr><td style="padding:5px;vertical-align:top;color:#900;background-color:#ddd;">' - .$config.' </td><td style="padding:5px;color:#000;background-color:#ddd;">'.$pre.htmlspecialchars($val, ENT_QUOTES, config_item('charset')).$pre_close."</td></tr>\n"; + .$config.' </td><td style="padding:5px;color:#000;background-color:#ddd;">'.$pre.htmlspecialchars((string) $val, ENT_QUOTES, config_item('charset')).$pre_close."</td></tr>\n"; } return $output."</table>\n</fieldset>"; @@ -534,7 +534,7 @@ class CI_Profiler { } $output .= '<tr><td style="padding:5px;vertical-align:top;color:#900;background-color:#ddd;">' - .$key.' </td><td style="padding:5px;color:#000;background-color:#ddd;">'.$pre.htmlspecialchars($val, ENT_QUOTES, config_item('charset')).$pre_close."</td></tr>\n"; + .$key.' </td><td style="padding:5px;color:#000;background-color:#ddd;">'.$pre.htmlspecialchars((string) $val, ENT_QUOTES, config_item('charset')).$pre_close."</td></tr>\n"; } return $output."</table>\n</fieldset>"; |