Clean up old title on move before reset article id
authorumherirrender <umherirrender_de.wp@web.de>
Fri, 11 Oct 2013 15:26:59 +0000 (17:26 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Sun, 20 Oct 2013 17:34:24 +0000 (17:34 +0000)
commitbc8f309bdad5f1f8b95fe14d8fd3bb126594c325
treeeb3c45137deeee4015c50f54690b737650ed0acd
parent6985d304dbf855562432464d868ad5eae704a416
Clean up old title on move before reset article id

Calling WikiPage::onArticleDelete without a page_id will reload the
page id, maybe from a (lagged) slave, than the title has the page id
set, and a call to Title::exists return true, which shows the link in
blue and the wrong message.

Bug: 45348
Change-Id: If415dc1729b0bb1cfe7fc75f9e29638a6797d478
includes/Title.php