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_dhcpv6_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_dhcpv6_leases.php')
-rw-r--r-- | src/usr/local/www/status_dhcpv6_leases.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/usr/local/www/status_dhcpv6_leases.php b/src/usr/local/www/status_dhcpv6_leases.php index e6fa0ed..6fa390d 100644 --- a/src/usr/local/www/status_dhcpv6_leases.php +++ b/src/usr/local/www/status_dhcpv6_leases.php @@ -100,7 +100,7 @@ function adjust_gmt($dt) { if ($dhcpv6leaseinlocaltime == "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. */ |