WordPress Developer Resources
File: wp-admin/options-general.php
Filters the default date formats.
Filters the default time formats.