今日は timelib の更新 ext/date のバグを直す修正があった！
2018-10-12
derickr: Update news with further fixed bugs due to timelib upgrade
- https://github.com/php/php-src/commit/454a86c2c5b54837baab5bf4314c98b0f728eb70
- [7.3~]
- ext/date で、7.3 系で timelib を 2018.01alpha2 へアップグレードしたむねとそれで修正されたバグについて NEWS へ追記
derickr: Upgrade timelib to 2017.08, to fix bug #77007
- https://github.com/php/php-src/commit/94a98f2c63926c5eafe12a717f3eef38f05fe99e
- [7.2~]
- ext/date で、7.2 系で timelib を 2017.08 へアップグレードし、そのむねとそれで修正されたバグについて NEWS へ追記
- 修正された #77007 は
\DateTime::diff()で端数が正しくなかった問題
derickr: Upgrade timelib to 2018.01RC1, to fix bug #77007
- https://github.com/php/php-src/commit/9c608bd13f780f822cd12c858f6ea271b9c7a3fb
- [7.3~]
- ext/date で、7.3 系で timelib を 2018.01RC1 へアップグレードし、そのむねとそれで修正されたバグについて NEWS へ追記