Am 13.05.2013 21:12, schrieb Moriel Schottlender:
Guys - thank you so much for the comments, I really
appreciate it!
Hi,
I just wanted to _/mention/_:
1.
This was merged into MediaWiki core on 16.04.2013:
https://gerrit.wikimedia.org/r/#/c/54986/
"Add git HEAD date to Special:Version for core and extensions"
2.
The following is pending, but perhaps better be solved by your and
DaSch's extension:
https://gerrit.wikimedia.org/r/#/c/59373/
"(bug 47264 <https://bugzilla.wikimedia.org/47264>) Special:Version: add
last local update timestamp for core and extensions"