WikiPage: Avoid $user variable reuse in doDeleteArticleReal()
authorKunal Mehta <legoktm@member.fsf.org>
Wed, 28 Feb 2018 05:47:29 +0000 (21:47 -0800)
committerKunal Mehta <legoktm@member.fsf.org>
Wed, 28 Feb 2018 05:56:50 +0000 (21:56 -0800)
commita21ae2edac758807a2c466be2f5016d87fb526ef
tree1c9347e251a46f03382a9d30df374635f13b52a6
parentab88a4c37575527f7bf44771d6285155cf126522
WikiPage: Avoid $user variable reuse in doDeleteArticleReal()

$user was being used to represent the person who was deleting the page as
well as a variable when dermining the person who made an edit in each
row as it was moved to the archive table.

Make it unambigious which variable is used to represent the person deleting
the article by renaming it to $deleter.

Bug: T188479
Change-Id: Ia06e7fb840ebc68446127352e336a7e33c813042
includes/page/WikiPage.php