Use JavaSqlTimestampHelper for parsing timestamps in before/after
JGit's GitDateParser supports a confusingly limited set of formats,
and moreover silently drops any portion of the string that it can't
parse.
Instead, parse only a much more limited set of timestamps, but at
least support the same format as emitted in our JSON. This means that
scripts can simply pass the updated timestamp of the last result to
"before:" in their next query for accurate pagination.
Because timestamps emitted by the REST API are UTC, this may produce
slightly confusing behavior in the web UI, which converts to server
local time before displaying.
This loses some features, such as a few additional datetime formats
and relative dates. The latter is not particularly useful since we
already have "age:".
Change-Id: I646d07290f1888ebe91fa9415cc42fe4d7767de7
3 files changed
