Mark the history link on page deletion as known.
authorAlexandre Emsenhuber <ialex.wiki@gmail.com>
Thu, 2 Aug 2012 12:06:20 +0000 (14:06 +0200)
committerAlexandre Emsenhuber <ialex.wiki@gmail.com>
Thu, 2 Aug 2012 12:06:20 +0000 (14:06 +0200)
commit388ea8dc28274d07e796f03a987ccc51a02fcbdf
treeb41d7123c1b3ed6934c0eef17e8384f282921d88
parentaf786d978a5d19678c1b5525cb2a63c8b6a8c9b1
Mark the history link on page deletion as known.

Two reasons:
- the page must exists to reach this part of the code
- it's useless to have special classes (redirect, stub)
  since this a link to the history and not to the
  content itself

Change-Id: I59af2f237e0539842cc7777ddd44ba5ac500b070
includes/Article.php