Comment 6 for bug 1848398

Having looked at the current state of things The old format.date setting (I didn't bother to look for the time one) is still in use in the AJS client in at least offline.js and the ui service. The startup service uses the new settings.

What would be better than marking them deprecated in the seed data would be to complete the conversion to use the new settings everywhere, rename them in an upgrade script one more time if 'Deprecated:' isn't there, add a release note stating that they're no longer used and can be removed by admins at any time, and just remove them from the seed data altogether since no clients will use them going forward. This leaves them in existing databases if you're using them in local customizations, but there's no point in adding completely unused settings in new databases regardless of their name.