this can be best written as an Extension.

Related URL: https://gerrit.wikimedia.org/r/59373 (Gerrit Change Ic852bf89c558835315a11814d523a858b733e09c)

see https://gerrit.wikimedia.org/r/#/c/59373/

code is live on http://openid-wiki.instance-proxy.wmflabs.org/wiki/Special:Version

The date of the commit is already bulking up the size of everything.

This extra date is confusing and just bloat.

Special:Version's version information is not for displaying whether there are updates or not. It's for saying what the currently installed versions are.

This addition is not relevant to the version page.

@daniel:

User Dasch wanted to have this. I implemented it. It is up to the community to improve that.

dasch wrote:

For me the addition that was done (the last commit date in origin repo) is not relevant to the version page…

dasch wrote:

made an extension for my purpose.
https://github.com/DaSchTour/mediawiki-extension-version
For me this is fixed

(In reply to comment #4)

The date of the commit is already bulking up the size of everything.

This extra date is confusing and just bloat.

Special:Version's version information is not for displaying whether there are
updates or not. It's for saying what the currently installed versions are.

This addition is not relevant to the version page.

I agree. Plus...

(In reply to comment #7)

made an extension for my purpose.
https://github.com/DaSchTour/mediawiki-extension-version
For me this is fixed

DaSch has a workaround for his use case.

Being bold and marking this WONTFIX.

(In reply to comment #8)

(In reply to comment #7)

made an extension for my purpose.
https://github.com/DaSchTour/mediawiki-extension-version
For me this is fixed

DaSch has a workaround for his use case.

let me add the further suggestions:

i) to code-review his extension
ii) to move his extension to mediawiki git/gerrit repo, and
iii) to set up a corresponding extension manual page on mediawiki.org.

dasch wrote:

when moving this extension to mediawiki git/gerrit repo I will not provide any further changes, I will remain developing the extension on github

(In reply to comment #10)

when moving this extension to mediawiki git/gerrit repo I will not provide
any
further changes, I will remain developing the extension on github

He DaSch, don't be so negative. You always will be able to fork it and to add further features, which later can find their way into the mediawiki repo version.

dasch wrote:

okay, you can fork into mediawiki, but I will not contribute there, that's for sure!

Change 59373 abandoned by Wikinaut:
SpecialVersion: Add last local update timestamp for core and extensions

Reason:

• patch abandoned*** because it has no apparent support in the community. I now use a draft instead of this.

https://gerrit.wikimedia.org/r/59373