Don't try and delete ForeignAPIFile or ForeignDBFile
authorSam Reed <reedy@users.mediawiki.org>
Mon, 19 Sep 2011 20:20:41 +0000 (20:20 +0000)
committerSam Reed <reedy@users.mediawiki.org>
Mon, 19 Sep 2011 20:20:41 +0000 (20:20 +0000)
commit00755349b46b16306a785c8e26dcc71d17fbe320
tree0ff344e89b722e4e18a3e8f22ecfa3b584041728
parent7c1c773e2ecca61c9431ebce9e675f7e37e2a5cc
Don't try and delete ForeignAPIFile or ForeignDBFile

Add a space before the error message so it's not cramped up next to the page name

Add a success error message (explicit is better than guessing)
maintenance/deleteBatch.php