Make the timestamp on the footer more compact

[fqueiruga]

Small improvement to the footer timestamp. The font size is reduced to 12px and the label is shown on top of the timestamp:

Proposed changelog entries

N/A I'd say. The footer changes haven't been released on an LTS yet, and this is a really small one.

Proposed upgrade guidelines

N/A

Submitter checklist

• JIRA issue is well described
• Changelog entries and upgrade guidelines are appropriate for the audience affected by the change (users or developer, depending on the change). Examples
  • Fill-in the Proposed changelog entries section only if there are breaking changes or other changes which may require extra steps from users during the upgrade
• Appropriate autotests or explanation to why this change has no tests
• For dependency updates: links to external changelogs and, if possible, full diffs

Desired reviewers

@Wadeck
@oleg-nenashev
@timja
@daniel-beck

Maintainer checklist

Before the changes are marked as ready-for-merge:

• There are at least 2 approvals for the pull request and no outstanding requests for change
• Conversations in the pull request are over OR it is explicit that a reviewer does not block the change
• Changelog entries in the PR title and/or Proposed changelog entries are correct
• Proper changelog labels are set so that the changelog can be generated automatically
• If the change needs additional upgrade steps from users, upgrade-guide-needed label is set and there is a Proposed upgrade guidelines section in the PR title. (example)
• If it would make sense to backport the change to LTS, a JIRA issue should exist and be labeled as lts-candidate

[oleg-nenashev]

Does the footer height remain the same after the change?

[fqueiruga]

It does, still 56px

[Wadeck]

Seems fine :) not tested manually.

[daniel-beck]

WDYT of making

jenkins/core/src/main/resources/lib/layout/layout.jelly

Line 241 in c0ce2c1

<span class="page-footer__generated-timestamp"><i:formatDate value="${h.getCurrentTime()}" type="both" dateStyle="medium" timeStyle="long"/></span>

a bit nicer as well:

dateStyle="short" would have dates like this (shown based on 2.231):

Nobody needs DOW or month name.

[fqueiruga]

Does that short option take into account localization? For example day-month order differences between Europe and the US.

If I were to chose I would just put the date in ISO 8601 format but that would also be too long

[daniel-beck]

Does that short option take into account localization? For example day-month order differences between Europe and the US.

Unsure what you mean. I demonstrate dd.mm.yy and m/d/yy. So it can be considered ambiguous in some locales, but it always matches the user's locale.

[daniel-beck]

FWIW don't let my suggestion block this. Can always be applied later if deemed worthwhile.

[timja]

Let's merge tomorrow unless any objections.