1.1.3dev: The `[trac]` `default_date_format` and `default_dateinfo_format` options are now `ChoiceOption`s. Refs #11573.


git-svn-id: http://trac.edgewall.org/intertrac/log:/trunk@13298 af82e41b-90c4-0310-8c96-b1721e28e2e2