php中date('W’)输出周数与实际周数不符合问题

date('W'):

ISO-8601 格式年份中的第几周，每周从星期一开始（PHP 4.1.0 新加的）

开发时遇到这样一个问题：

var_dump(date('W',strtotime('2019-1-1')));
var_dump(date('W',strtotime('2018-12-31')));

输出结果：

string(2) "01"
string(2) "01"

对于前者是第一周那是毋庸置疑的，但为什么后者也是第一周而不是53周？

ISO-8601是这样定义：

可以用2位数表示年内第几个日历星期，再加上一位数表示日历星期内第几天，但日历星期前要加上一个大写字母W，如2004年5月3日可写成2004-W19-1或2004W191。但2005-W011是从2005年1月3日开始的，前几天属于上年的第53个日历星期。每个日历星期从星期一开始，星期日为第7天。

第一个日历星期有以下四种等效说法：

1，本年度第一个星期四所在的星期；

2，1月4日所在的星期；

3，本年度第一个至少有4天在同一星期内的星期；

4，星期一在去年12月29日至今年1月4日以内的星期；

推理可得，如果1月1日是星期一、星期二、星期三或者星期四，它所在的星期就是第一个日历星期；如果1月1日是星期五、星期六或者星期日，它所在的星期就是上一年第52或者53个日历星期；12月28日总是在一年最后一个日历星期。

就是说，1月1号是星期一至星期四的其中一天话则当周算新一年第一周，否则算上一年的53周。也就是12月31号是星期五至星期天其中一天的话则当周算当年第53周，否则算下一年的第一周。