On 1/16/15 4:56 PM, Steven Schveighoffer wrote:
On 1/16/15 6:01 PM, Andrei Alexandrescu wrote:
On 1/16/15 2:52 PM, Daniel Kozak wrote:
Why DIP says: Last Modified: 2015-01-11
but from history I see lots of changing after that date?
I wish that were automated.
Well, it does include last modified automatically at the bottom of the
page. Is it worth keeping that manual entry?
I tried to see if there was a way to reference that, but it's not
possible from what I can tell.
Then I'd say just yank it. Apparently you can with an extension:
http://www.mediawiki.org/wiki/Extension:LastModified
Andrei
