Last modified: 2012-05-13 23:06:45 UTC
For date picking there's the standard jQuery datepicker, but I couldn't find anything like this for picking time. Googling found a few jQuery add-ons, but AFAIU none of them is standard (I might be wrong). The SemanticFormsInputs extension uses some time picker. This is also needed in CentralNotice (see Bug 36793) and may be needed elsewhere in the future.
ResourceLoader is all about modules. Extensions that need modules can include these modules (which can be either written from scratch, a derivative of an existing plugin, or a direct copy of an existing plugin directly). I'd say find something that works for CentralNotice first, and use it now as a plugin in the extension. No need to add it to core first. If other extension (e.g. SemanticFormsInputs) wants and can use the same,, we could consider including it in core. Is the time picker in SemanticFormsInputs a stand-alone plugin that can be used directly? Does it fit the jQuery UI theme (e.g. use ui- classes)?