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"