Use ManualLogEntry instead of LogPage to add a new log entry of old file version...
authorAlexandre Emsenhuber <ialex.wiki@gmail.com>
Sun, 1 Jul 2012 20:09:11 +0000 (22:09 +0200)
committerAlexandre Emsenhuber <ialex.wiki@gmail.com>
Sun, 1 Jul 2012 20:11:25 +0000 (22:11 +0200)
commit4ea5e0340c60aad92fcf9e16e279045af313ab1f
treef547e40708cf184d0c867dfbfa6db1861ff7d76e
parenta2e40f12f59ecbbbd82895c34aa46bc726d7a619
Use ManualLogEntry instead of LogPage to add a new log entry of old file version deletion.

* For consistency with WikiPage::doDeleteArticleReal().
* Also log suppressed deletions in suppression log instead of normal log.

Change-Id: Ie63bac5ebd77d0269ba2075d66cf3ba31668e595
includes/FileDeleteForm.php