API: Allow deleting files without corresponding pages
authorBrad Jorsch <bjorsch@wikimedia.org>
Mon, 12 Jun 2017 17:09:26 +0000 (13:09 -0400)
committerBrad Jorsch <bjorsch@wikimedia.org>
Mon, 12 Jun 2017 17:11:23 +0000 (13:11 -0400)
commit2652dc048899503155de957f2da66df8d311a109
treeff0cc87770534765c568edb32ffeaab4cf8410e3
parente16191caa3afa2a1d97b6f3436092daa7157f8ae
API: Allow deleting files without corresponding pages

Such a deletion doesn't currently produce a log entry, but that's a
different bug that also occurs via the web UI.

Bug: T167693
Change-Id: If6e751aa28960243db49ac9b81fe518edba11bd5
includes/api/ApiDelete.php