dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c30d10) | patch
Document $file in FileDeleteForm as LocalFile (not File)
authorUmherirrender <umherirrender_de.wp@web.de>
Wed, 4 Sep 2019 18:46:57 +0000 (20:46 +0200)
committerKrinkle <krinklemail@gmail.com>
Sun, 8 Sep 2019 04:02:20 +0000 (04:02 +0000)
commit3e57a7ea6534afe690a6f832c8cf2bf52ec8c1ba
treed6ade122519231f18c19dc31758ee1dd06ad3bcbtree | snapshot
parent3c30d10ba2a11c7e631d8fe747b868b4c7ee06decommit | diff
Document $file in FileDeleteForm as LocalFile (not File)

Deletion is only possible for files on the local wiki, so this is always
a LocalFile. The static self::doDelete already requires a LocalFile.

Caught by PhanTypeMismatchArgument, to be enabled with I34d65fe3ff191.

Change-Id: Iee0774340208b493b075085485343e05f922751c
includes/FileDeleteForm.php diff | blob | history
includes/page/ImagePage.php diff | blob | history
Wiklou, le Wiki du Wiklou