Files
php-src/scripts
Nikita Popov 3b2f2ce474 Make uninitialized DateTime an Error
This avoids many spurious false return values.
2019-08-09 14:51:25 +02:00
..
2019-08-09 14:51:25 +02:00