Last modified: 2013-08-12 07:21:12 UTC
As initially intended in Bug 38783 and how it worked with the first patch I think it's more helpful to to see when the last git pull/check for updates where done. The date now shown in Special:Version can be very old for extensions that haven't been updated for a long time. So everytime I take a look on my extension to know which I didn't check for updates for a long time I will make a git pull with no result because there are no updates, but the date will not change so I have no indicator if updates may be available.
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.
For me the addition that was done (the last commit date in origin repo) is not relevant to the version page…
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.
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.
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
