Hello,
We're trying to find for each featured article the time when it
acquired featured status.
At 22:07 on 15 July 2008 GimmeBot modified the page "King Arthur" with
the comment "GimmeBot adding FA star".
http://en.wikipedia.org/w/index.php?title=King_Arthur&diff=226083953&am…
Do you think a pattern match /addding\s+\S+\s+star/ (in the comments
field) would be the most reliable/appropriate way of finding in the
history dump file the time when each of the featured articles acquired
this status?
Or do you happen to know of a special page listing this time for each
featured article ?
Thanks a lot in advance.