Public_Tools/wavelog
2
0
Fork 0
mirror of https://github.com/wavelog/wavelog.git synced 2026-03-22 10:24:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #350 from phl0/showPhp7Deprecated

Browse Source 
Show PHP < 8 as deprecated
This commit is contained in:
Florian (DF2ET)
2024-05-08 14:53:02 +02:00
committed by GitHub
parent a191a5d29d 7e7064a492
commit d50cfd5d33
1 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
application/views/debug/index.php
View File

@@ -66,7 +66,15 @@
<tr>
<td>PHP Version</td>
<td><?php echo phpversion(); ?></td>
<td>
<?php
if (version_compare(PHP_VERSION, '8.0.0') >= 0) {
echo phpversion()." <span class=\"badge text-bg-success\">OK</span>";
} else {
echo phpversion()." <span data-bs-toggle=\"tooltip\" title=\"Please update!\" class=\"badge text-bg-warning\">Deprecated</span>";
}
?>
</td>
</tr>
<tr>
@@ -587,4 +595,4 @@
<?php } else { ?>
var local_branch = 'n/a';
<?php } ?>
</script>
</script>