diff options
| author | Phil Davis <phil.davis@inf.org> | 2016-07-26 14:28:24 +0930 |
|---|---|---|
| committer | Phil Davis <phil.davis@inf.org> | 2016-07-26 14:28:24 +0930 |
| commit | ede534659ca54d2268ce51ec2f9e15f77051a60c (patch) | |
| tree | a8331a28f77fc64c29d166a6bd15535b320388a5 /src/usr/local/www/status_dhcp_leases.php | |
| parent | 011a15a03e000c24bd9bb2bdad101579884e7d13 (diff) | |
| download | pfsense-ede534659ca54d2268ce51ec2f9e15f77051a60c.zip pfsense-ede534659ca54d2268ce51ec2f9e15f77051a60c.tar.gz | |
Display local DHCP lease times in 24-hour clock
It seems odd to me that when the times are displayed in UTC they have
24-hour clock, but when displayed in local time they are formatted with
12-our clock and AM/PM.
24-hour format takes less screen space, and I would have thought that
network admins would prefer working consistently in 24-hour clock
format.
Diffstat (limited to 'src/usr/local/www/status_dhcp_leases.php')
| -rw-r--r-- | src/usr/local/www/status_dhcp_leases.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/usr/local/www/status_dhcp_leases.php b/src/usr/local/www/status_dhcp_leases.php index 6dd3a02..dff4804 100644 --- a/src/usr/local/www/status_dhcp_leases.php +++ b/src/usr/local/www/status_dhcp_leases.php @@ -92,7 +92,7 @@ function adjust_gmt($dt) { if ($dhcpleaseinlocaltime == "yes") { $ts = strtotime($dt . " GMT"); if ($ts !== false) { - return strftime("%Y/%m/%d %I:%M:%S%p", $ts); + return strftime("%Y/%m/%d %H:%M:%S", $ts); } } /* If we did not need to convert to local time or the conversion failed, just return the input. */ |
