Pass archived page id to ArticleUndelete hook.
authorRob Moen <rmoen@wikimedia.org>
Thu, 15 May 2014 22:51:52 +0000 (15:51 -0700)
committerRobmoen <rmoen@wikimedia.org>
Tue, 20 May 2014 16:05:49 +0000 (16:05 +0000)
commit1fb9118c7cdc54cf4e4f2af727bf37f32c69319b
tree1cce1f8667bf2b4dbb3df1b2dd5debc522c61af2
parentd60593286bb7907ce613019ed916011eba88bf5f
Pass archived page id to ArticleUndelete hook.

Needed for instrumentation of PageRestoration schema

Rationale:  By the time the hook runs, there is no longer record
of the previous page id.

Change-Id: If87a73e47def7a4404858f374780c3f1cf4d69b5
See: https://meta.wikimedia.org/wiki/Schema:PageRestoration
Needed by: Id40347ec268658dc854e4ab2dd38570b19db1477
includes/specials/SpecialUndelete.php