diff options
author | Peter Kokot <peterkokot@gmail.com> | 2018-06-02 00:44:04 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2018-06-02 13:30:40 +0200 |
commit | 1fd7cbb49e4a8cf8fb5203b04b95a2af62bf58a1 (patch) | |
tree | 25728a1944003febcbab467f6cfb82ebb017ef80 | |
parent | 1e5ca6209b333e526333cf83c2387d8825bf668d (diff) | |
download | php-git-1fd7cbb49e4a8cf8fb5203b04b95a2af62bf58a1.tar.gz |
Fix warnings defined but not used
-rw-r--r-- | ext/standard/datetime.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/ext/standard/datetime.c b/ext/standard/datetime.c index 719e1ed209..0a9159666b 100644 --- a/ext/standard/datetime.c +++ b/ext/standard/datetime.c @@ -31,20 +31,10 @@ #endif #include <stdio.h> -static const char * const mon_full_names[] = { - "January", "February", "March", "April", - "May", "June", "July", "August", - "September", "October", "November", "December" -}; - static const char * const mon_short_names[] = { "Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec" }; -static const char * const day_full_names[] = { - "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" -}; - static const char * const day_short_names[] = { "Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat" }; |